La nostra recerca es situa a l’Espanya del segle XVIII i està centrada en el desenvolupament i difusió del càlcul diferencial i integral o el càlcul de fluxions, com es va denominar a la Gran Bretanya. L’anàlisi del càlcul diferencial i integral com a nou camp matemàtic a Europa del segle XVIII no és un tema nou, però, molt sovint, s’ha acostumat a enfocar la visió d’aquest desenvolupament des del “centre” i a partir de les grans figures com Isaac Newton o Gottfried Wilhelm Leibniz. La nostra tesi posa l’atenció en la recepció d’aquest nou càlcul a Espanya, a través de Tomàs Cerdà (1715-1791). Cerdà va ser un jesuïta català dedicat a l’ensenyament de les matemàtiques a Barcelona i a Madrid a mitjans del segle XVIII, que va publicar diversos textos matemàtics i tenia preparats molts altres per a una futura publicació. Un d’aquests manuscrits és un tractat sobre càlcul diferencial, el Tratado de Fluxiones, que és una traducció i adaptació d’un altre llibre, The Doctrine and Application of Fluxions (1750) d’un matemàtic anglès, Thomas Simpson (1710-1761). Així doncs, el principal objectiu de la nostra tesi s’ha concretat en l’anàlisi del paper de Cerdà en la introducció del càlcul diferencial i integral en l’Espanya del segle XVIII, a partir del seu Tratado de Fluxiones. Cerdà es va apropiar del càlcul fluxional de Simpson i li va donar una determinada orientació, pensant fonamentalment en els seus deixebles. El com i per què Cerdà va decidir quin seria el seu guia en la introducció del càlcul diferencial i integral i quines van ser les seves pròpies aportacions en aquesta tasca són els temes centrals de la nostra tesi. D’aquesta manera, la nostra recerca ha anat dirigida a entendre millor el procés de divulgació del coneixement científic, veient-lo, en tot moment, com part activa del mateix procés de construcció d’aquest coneixement. / Our research concerns eighteenth century Spain and is focused on the development and diffusion of Differential and Integral Calculus or Calculus of Fluxions, as it was known in Great Britain. The analysis of Differential Calculus, as a new field of mathematics in eighteenth century Europe is not a new topic, but it has often been used to approach this topic from the “centre” and via the well-known scientists Isaac Newton or Gottfried Wilhelm Leibniz. Our thesis focus on the reception of this new calculus into Spain, through Tomàs Cerdà (1715-1791). Cerdà was a Catalan Jesuit devoted to the teaching of mathematics in Barcelona and Madrid, in the mid-eighteenth century, and who published several mathematicals texts and prepared many others for future publication. One of these manuscripts is a treatise on Differential Calculus, the Tratado de Fluxiones, which is a translation and an adaptation of another book, The Doctrine and Application of Fluxions (1750) by an English mathematician, Thomas Simpson (1710-1761). Thus, the main aim of our thesis centers on the analysis of the role of Cerdà in the introduction of Differential and Integral Calculus in eighteenth Century Spain, by means his Tratado de Fluxiones. Cerdà appropriated Simpson’s fluxional calculus and managed it into a new shape, basically by thinking of his pupils. The main topics of our thesis are how and why Cerdà decided who would be his guide for the introduction of Differential and Integral Calculus and what his own contributions were to this work. To that end, our research is aimed at a better understanding of the process of popularisation of scientific knowledge, in such a way that it becomes an active part of the building process of this knowledge.

The problem addressed in this thesis is the medium-term generation planning over a yearly horizon of a generation company participating in a liberalized electricity market with pool auction of generation and consumption and with bilateral contracts between generation companies and distributions companies or big consumers. It is assumed that the generation portfolio of several generation companies includes a significant proportion of dispatchable renewables (hydro generation with storage reservoirs and pumping schemes) and non-dispatchable renewables as wind power and solar photovoltaic generation. It is also assumed than more than one generation company are able to influence market-price levels through their bidding in the auction so that the market could be oligopolistic. The results obtained are of interest to price-maker generation companies, but also to price-taker generators, and to the market operator to check whether the participants in the market behave as a cartel or seeking an equilibrium. The stochasticity of parameters in the medium-term planning is modeled in two ways. Regarding consumers load and generation unit outages, through the use of the probabilistic method of load matching: by representing the load through predicted load-duration curves of each period into which the yearly horizon is subdivided, by considering the capacity and an outage probability of each generation unit and by using the existing convolution techniques and the linear-inequality load-matching constraints. Regarding renewable energy sources, stochastic programming is used. Hydro-generation scenarios of inflows are developed for each period. As for non-dispatchable renewables (wind power and solar photo-voltaic generation), a novel model of representing them through two pseudo-units: one base unit with small outage probability and a crest unit with large outage probability is proposed, and scenarios are developed for the relevant parameters of the pseudo-units. The solar photo-voltaic generation model requires splitting each period into three subperiods with the dark hours, with the medium-light hours and with the bright hours. Quasi-Monte Carlo techniques have been employed to create a large scenario fan later reduced to a scenario tree with a reduced number of scenarios. Market prices are taken into account through an endogenous linear market-price function of load duration whose intercept depends on total hydro generation level and on wind power and solar photovoltaic level in each node of the scenario tree. With such market price function, the endogenous cartel solution and the equilibrium solutions to the medium-term planning can be obtained. To avoid having to consider the total exponential number of load-matching constraints, a load matching heuristic has been employed where small batches of new load matching constraints are generated after successive optimizations considering only the generated load matching constraints. For equilibrium solutions, the Nikaido-Isoda relaxation algorithm of successive solutions is employed using the successive optimizations of the load-matching heuristic. In mixed-market systems with auction and bilateral contracts, a time-share hypothesis is formulated and the profits function for generation companies with the generation left after honoring their bilateral contracts is formulated. The profit function obtained is non-convex, and a direct global optimization solver was tried, but proved not to be practical for the size of problem to be solved. A non-linear interior-point constrained optimization solver, also employed for problems in pure pool markets, was tried with several special techniques to circumvent the troubles caused by the non-convexity of the objective function and satisfactory results were obtained. A novel model of multi-period medium-term pumping was presented and employed. Results for several realistic test cases having different generation settings have been presented and analyzed. / El problema adreçat en aquesta tesi és el de la planificació a mig termini de la generació elèctrica d'una companyia que participa dins d'un mercat elèctric. S'ha assumit que aquestes companyies generadores disposen d'una proporció significant d'energies renovables despatxables (com la generació hidràulica amb embassaments d'emmagatzematge i sistemes de bombeig) i d'energies renovables no-despatxables tals com l'energia eòlica i la generació d'energia solar fotovoltaica. També s’ha tingut en compte que més d'una companyia generadora és capaç d'influir en els nivells de preu de mercat a través de les seves ofertes dins de la subhasta tractant-se, doncs, d'un mercat oligopolístic. Els resultats obtinguts són interessants per a companyies generadores del tipus 'price-maker', però alhora també ho són per companyies 'price-taker' i, finalment, també ho són per a l'operador del mercat per tal de comprovar si els participants en el mercat es comporten com si hi hagués 'cartel' o si bé busquen l'equilibri. L'estocasticitat de la càrrega i les panes de les unitats de generació dins de la planificació a mig termini es modela mitjançant l'ús del mètode probabilístic de recobriment de la càrrega: tot representant la càrrega a través de corbes predites de durada de la càrrega per a cada període tractat, utilitzant tècniques existents de convolucions i les anomenades constriccions de recobriment de la càrrega que són de desigualtat i lineals. Pel que fa a les energies renovables s'ha emprat programació estocàstica. Per a cada període s'han desenvolupat escenaris d'hidràulica per a les aportacions naturals d'aigua. Pel que fa a les renovables no-despatxables (eòlica i solar), es presenta un nou model per a representar-les a través de dues pseudo-unitats: una unitat de base amb una probabilitat de pana molt petita i una unitat de cresta amb una probabilitat de pana gran. La generació solar requereix un model més complex ja que s'han dividit les hores solars en tres subperíodes: sense sol, sol mig i sol. També s'han creat escenaris per als paràmetres més rellevants d'aquestes pseudo-unitats. S'han emprat mètodes de Quasi-Monte Carlo per a crear un gran arbre d'escenaris de tipus FAN que, posteriorment, s'ha reduït a un arbre d'escenaris d'una determinada mida. La funció de preu de mercat respecte a la durada de la càrrega és una funció endògena on es té en compte la variació observada del nivell dels preus amb la generació hidràulica, la generació eòlica i la solar a cada node dins de l'arbre d'escenaris. Amb aquest tipus de funció de preu de mercat, les solucions de cartel i les d'equilibri poden ser obtingudes. Per tal de no haver de considerar un nombre exponencial de constriccions de recobriment, s'utilitza una heurística on petits subconjunts de restriccions es van generant després de successives optimitzacions considerant només les constriccions de recobriment generades. Per a les solucions d'equilibri, s'ha utilitzat l'algoritme de relaxació de Nikaido-Isoda en les successives optimitzacions de l'heurística. Pels mercats mixtos (amb subhasta i contractes bilaterals) s'ha formulat una hipòtesi de 'time-share' i s’ha presentat una funció de beneficis de les empreses generadores on només es té en compte la generació que resta després d'haver satisfet els contractes bilaterals. La funció obtinguda és no convexa i s'ha utilitzat un resolutor d'optimització global, però s'ha vist que no era pràctic per a la mida del problema que s'estava solucionant. Per aquest motiu, s'ha utilitzat un resolutor no lineal de punt interior (Ipopt) amb diverses tècniques especials per tal d'eludir els problemes causats per la no convexitat de la funció objectiu tot obtenint resultats satisfactoris. Finalment, s'ha presentat i s'ha utilitzat un nou mètode per introduir els esquemes de bombeig multi-període i a mig termini. Es mostren i s'analitzen els resultats obtinguts per a diversos casos de prova (realistes) amb diferents configuracions de generació.

Idiomes imatge generats per Empalme i Muntatge Rajoles. L'extensió de l'estudi de les llengües oficials sobre el cas string 2 idiomes dimensionals o idiomes imatge ha estat d'interès per molt temps per les seves vastes aplicacions. En la tesi i l'objecte de dues dimensions més comú estudiat és una imatge que és una matriu rectangular de símbols presos a partir d'un alfabet finit. L 'objectiu d'aquesta tesi se centra en l'estudi de la generació de les classes d'idiomes d'imatge per les operacions de bio-inspirats saber, `Enllaç' i` Auto-Assemblea 'd'ADN-Computing. És a dir, sistema d'entroncament i enrajolats Regla Sistemes H-Array. H-array Empalme Sistema és un formalisme bio-inspirat estès des H-entroncament de la caixa de cadena, un estudi àmpliament investigat introduït per T. Head. Està estructurat com un mecanisme mitjançant l'estudi de les gramàtiques lineals de dues dimensions correctes. Aquest formalisme és un mecanisme que s'aplica al número finit d'imatges trucades imatges inicials amb determinat conjunt de regles d'entroncament de dòmino de columna i fila. El lloc de context en el qual les dues imatges es tallen en columnes i files es va decidir per la seqüència de dòmino adjacents en el conjunt de regles. I llavors el `enganxar 'de la primera part de la imatge a la segona part de la imatge es realitza mitjançant la columna i fila concatenacions respectivament. L'H-Array Enllaç Sistemes s'aplica sobre llengües 2D-RLG generant idiomes Enllaç H-Array (HASL). A continuació, les classes de restricció definides i d'estudi són acte Creu sobre matrius i llenguatges Empalme matriu simples i resultats incomparables es va demostrar amb 2D-RLG, HASL. No són disjunts i es creuen llenguatges recognoscibles. El segon formalisme principal introduït i estudiat a la tesi és Revestiments Sistema de regles . Aquest formalisme genera la imatge pel conjunt de regles de mosaic, muntatge rajoles. Hem demostrat que la classe de L (TS) (Sistema d'enrajolat, llenguatge reconeixible) està continguda en TRuS. A més, vam demostrar existeixen una construcció del formalisme basat en la generació d'imatges en files o columnes que és equivalent a L (TS). L'equivalència es demostra l'ús de sistemes de Wang. Així que porta a una idea interessant d funcionament bio-inspirat (auto-acoblament) a la generació de la imatge. / Idiomas de imagen generados por Empalme y Montaje Azulejos. La extensión del estudio de las lenguas oficiales sobre el caso string dos idiomas dimensionales o idiomas imagen ha sido de interés por mucho tiempo por sus vastas aplicaciones. En la tesis y el objeto de dos dimensiones más común estudiado es una imagen que es una matriz rectangular de símbolos tomados a partir de un alfabeto finito. E l objetivo de esta tesis se centra en el estudio de la generación de las clases de idiomas de imagen por las operaciones de bio-inspirados saber, `Empalme 'y` Auto-Asamblea' de ADN-Computing. A saber, sistema de empalme H-Array y sistemas de regla de mosaico. H-array Empalme Sistema es un formalismo bio-inspirado extendido desde H-empalme de la caja de cadena, un estudio ampliamente investigado introducido por T. Head. Está estructurado como un mecanismo mediante el estudio de las gramáticas lineales de dos dimensiones correctas. Este formalismo es un mecanismo que se aplica en el número finito de imágenes llamadas imágenes iniciales con determinado conjunto de reglas de empalme de dominó de columna y fila. El sitio de contexto en el que las dos imágenes se cortan en columnas y filas se decidió por la secuencia de dominós adyacentes en el conjunto de reglas. Y entonces el `pegar 'de la primera parte (o sub-array) de la imagen a la segunda parte de la imagen se realiza mediante la columna y fila concatenaciones respectivamente. El H-Array Empalme Sistemas se aplica sobre lenguas 2D-RLG generando idiomas Empalme H-Array (HASL). A continuación, las clases de restricciones definidas y de estudio son auto Cruz sobre matrices y lenguajes Empalme matriz simples y resultados incomparables se demostró con 2D-RLG, HASL. No son disjuntos y se cruzan lenguajes reconocibles. El segundo formalismo principal introducido y estudiado en la tesis son Revestimientos Sistema de reglas TRuS. Este formalismo genera la imagen por el conjunto de reglas de mosaico, montajes azulejos. Hemos demostrado que la clase de L (TS) (Sistema de alicatado, lenguaje reconocible) está contenida en la TRuS. Además, demostramos existen una construcción del formalismo basado en la generación de imágenes en filas o columnas que es equivalente a L (TS). La equivalencia se demuestra el uso de sistemas de Wang. / Picture languages generated by Splicing and Assembling Tiles. The extension of the study of formal languages over string case to two dimensional languages or picture languages has been of interest for long for its vast applications. In the thesis and the most common two-dimensional object studied is a picture which is a rectangular array of symbols taken from a finite alphabet. T he objective of this thesis concentrates on the study of generation of Picture language classes by bio-inspired operations namely, `Splicing' and `Self-Assembly' of DNA-Computing. Namely, H-Array Splicing System and Tiling Rule Systems. H-array Splicing Systems is a bio-inspired formalism extended from H-Splicing from string case, a vastly investigated study introduced by T. Head. In particular it is structured as a mechanism by studying two-dimensional right linear grammars. In elaborate this formalism is a mechanism which is applied on finite number of pictures called initial pictures with given set of column and row domino splicing rules. The context site where the two pictures are cut in columns and rows are decided by the sequence of adjacent dominoes in the set of rules. And then the `pasting' of the first part (or sub-array) of the picture to the second part of the picture is done by column and row concatenations respectively. The H-Array Splicing Systems is applied over 2D-RLG languages generating H-Array Splicing languages (HASL). Then the restriction classes defined and study are Self Cross over Arrays and Simple Array Splicing languages and incomparable results are proved with 2D-RLG, HASL. They are not disjoint and they intersect Recognizable languages. Another and the second main formalism introduced and studied in the thesis is Tiling Rule System TRuS . This formalism generates picture by set of tiling rules, assembling tiles. We have proved that the class of L(TS) (Tiling System, recognizable language) is contained in TRuS . Also, we prove there exist a construct of the formalism based on generating pictures in rows or columns which is equivalent to L(TS). The equivalence is proved using Wang systems. Thus leading to an interesting notion of bio-inspired (self-assembling) operation to picture generation.

En unas palabras, el tema de esta tesis se podría resumir como: fenómenos varios en alta (pero finita) dimensión en teoría cuántica de la información. Dicho esto, sin embargo podemos dar algunos detalles de más. Empezando con la observación que la física cuántica ineludiblemente tiene que tratar con objetos de alta dimensión, se pueden seguir esencialmente dos caminos: o intentar reducir su estudio al de otros que tienen dimensión más baja, o intentar comprender qué tipo de comportamiento universal surge precisamente en este régimen. Aquí no elegimos cuál de estas dos posturas hay que adoptar, sino que oscilamos constantemente entre una y la otra. En la primera parte de este manuscrito (Capítulos 5 y 6), nuestro objetivo es reducir al mínimo posible la complejidad de ciertos procesos cuánticos, preservando sus características esenciales. Los dos tipos de procesos que nos interesan son canales cuánticos y medidas cuánticas. En ambos casos, la complejidad de una transformaci ón se cuantifica con el número de operadores necesarios para describir su acción, y la proximidad entre la transformación de origen y su aproximación se define por el hecho de que, cualquiera que sea el estado de entrada, los respectivos estados de salida deben ser suficientemente similares. Proponemos maneras universales de alcanzar nuestras metas de compresión de canales cuánticos y rarefacción de medidas cuánticas (basadas en construcciones aleatorias) y demostramos su optimalidad. En contrapartida, la segunda parte de este manuscrito (Capítulos 7, 8 y 9) se dedica específicamente al análisis de sistemos cuánticos de alta dimensión y sus rasgos típicos. El énfasis se pone sobre sistemos multipartidos y sus propiedades de entrelazamiento. En resumen, establecemos principalmente lo siguiente: cuando las dimensiones de los espacios subyacentes aumentan, es genérico para estados cuánticos multipartidos ser prácticamente indistinguible mediante observaciones locales, y es genérico para relajaciones de la noción de separabilidad ser burdas aproximaciones de ella. Desde un punto de vista técnico, estos resultados se derivan de estimaciones de promedio para supremosa de procesos gaussianos, combinadas con el fenómeno de concentración de la medida. En la tercera parte de este manuscrito (Capítulos 10 y 11), finalmente volvemos a una filosofía de reducción de dimensionalidad. Pero esta vez, nuestra estrategia es utilizar las simetrías inherentes a cada situación particular que consideramos para derivar una simplificación adecuada. Vinculamos de manera cuantitativa simetría por permutación y independencia, lo que nos permite establecer el comportamiento multiplicativo de varias cuantidades que ocurren en teoría cuántica de la información (funciones de soporte de conjuntos de estados, probabilidad de éxito en juegos multi-jugadores no locales etc.). La principal herramienta técnica que desarrollamos con este fin es un resultado de tipo de Finetti muy adaptable. / S'il fallait résumer le sujet de cette thèse en une expression, cela pourrait être quelque chose comme: phénomènes de grande dimension (mais néanmoins finie) en théorie quantique de l'information. Cela étant dit, essayons toutefois de développer brièvement. La physique quantique a inéluctablement afiaire à des objets de grande dimension. Partant de cette observation, il y a, en gros, deux stratégies qui peuvent être adoptées: ou bien essayer de ramener leur étude à celle de situations de plus petite dimension, ou bien essayer de comprendre quels sont les comportements universels précisément susceptibles d'émerger dans ce régime. Nous ne donnons ici notre préférence à aucune de ces deux attitudes, mais au contraire oscillons constamment entre l'une et l'autre. Notre but dans la première partie de ce manuscrit (Chapitres 5 et 6) est de réduire autant que possible la complexité de certains processus quantiques, tout en préservant, évidemment, leurs caractéristiques essentielles. Les deux types de processus auxquels nous nous intéressons sont les canaux quantiques et les mesures quantiques. Dans les deux cas, la complexité d'une transformation est mesurée par le nombre d'opérateurs nécessaires pour décrire son action, tandis que la proximité entre la transformation d'origine et son approximation est définie par le fait que, quel que soit l'état d'entrée, les deux états de sortie doivent être proches l'un de l'autre. Nous proposons des solutions universelles (basées sur des constructions aléatoires) à ces problèmes de compression de canaux quantiques et d'amenuisement de mesures quantiques, et nous prouvons leur optimalité. La deuxième partie de ce manuscrit (Chapitres 7, 8 et 9) est, au contraire, spécifiquement dédiée à l'analyse de systèmes quantiques de grande dimension et certains de leurs traits typiques. L'accent est mis sur les systèmes multi-partites et leurs propriétés ayant un lien avec l'intrication. Les principaux résultats auxquels nous aboutissons peuvent se résumer de la façon suivante: lorsque les dimensions des espaces sous-jacents augmentent, il est générique pour les états quantiques multi-partites d'être à peine distinguables par des observateurs locaux, et il est générique pour les relaxations de la notion de séparabilité d'en être des approximations très grossières. Sur le plan technique, ces assertions sont établies grâce à des estimations moyennes de suprema de processus gaussiens, combinées avec le phénomène de concentration de la mesure. Dans la troisième partie de ce manuscrit (Chapitres 10 et 11), nous revenons pour finir à notre état d'esprit de réduction de dimensionnalité. Cette fois pourtant, la stratégie est plutôt: pour chaque situation donnée, tenter d'utiliser au maximum les symétries qui lui sont inhérentes afin d'obtenir une simplification qui lui soit propre. En reliant de manière quantitative symétrie par permutation et indépendance, nous nous retrouvons en mesure de montrer le comportement multiplicatif de plusieurs quantités apparaissant en théorie quantique de l'information (fonctions de support d'ensembles d'états, probabilités de succès dans des jeux multi-joueurs non locaux etc.). L'outil principal que nous développons dans cette optique est un résultat de type de Finetti particulièrement malléable. / If a one-phrase summary of the subject of this thesis were required, it would be something like: miscellaneous large (but finite) dimensional phenomena in quantum information theory. That said, it could nonetheless be helpful to briefly elaborate. Starting from the observation that quantum physics unavoidably has to deal with high dimensional objects, basically two routes can be taken: either try and reduce their study to that of lower dimensional ones, or try and understand what kind of universal properties might precisely emerge in this regime. We actually do not choose which of these two attitudes to follow here, and rather oscillate between one and the other. In the first part of this manuscript, our aim is to reduce as much as possible the complexity of certain quantum processes, while of course still preserving their essential characteristics. The two types of processes we are interested in are quantum channels and quantum measurements. In both cases, complexity of a transformation is measured by the number of operators needed to describe its action, and proximity of the approximating transformation towards the original one is defined in terms of closeness between the two outputs, whatever the input. We propose universal ways of achieving our quantum channel compression and quantum measurement sparsification goals (based on random constructions) and prove their optimality. Oppositely, the second part of this manuscript is specifically dedicated to the analysis of high dimensional quantum systems and some of their typical features. Stress is put on multipartite systems and on entanglement-related properties of theirs. We essentially establish the following: as the dimensions of the underlying spaces grow, being barely distinguishable by local observers is a generic trait of multipartite quantum states, and being very rough approximations of separability itself is a generic trait of separability relaxations. On the technical side, these statements stem mainly from average estimates for suprema of Gaussian processes, combined with the concentration of measure phenomenon. In the third part of this manuscript, we eventually come back to a more dimensionality reduction state of mind. This time though, the strategy is to make use of the symmetries inherent to each particular situation we are looking at in order to derive a problem-dependent simplification. By quantitatively relating permutation-symmetry and independence, we are able to show the multiplicative behaviour of several quantities showing up in quantum information theory (such as support functions of sets of states, winning probabilities in multi-player non-local games etc.). The main tool we develop for that purpose is an adaptable de Finetti type result.

La democràcia es el sistema de govern més utilitzat al món. No obstant, en un món cada vegada més globalitzat, la idea de mobilitzar la gent per votar en un col·legi electoral gestionat per persones resulta antiquada tot i ser la implementació més comú en l'actualitat. Millorar aquesta situació mitjançant l'ús de les tecnologies de la informació sembla una evolució òbvia i molt demanada però, malgrat l'existència d'algunes implementacions en entorns reals, encara no ha estat utilitzada excepte en comptades ocasions. Obrir la porta d'unes eleccions a les tecnologies de la informació implica l'obertura dels protocols de votació a un nou conjunt d'atacs contra aquests. Tenint en compte els requisits d'una elecció: privacitat del votant i integritat de l'elecció, les solucions actuals passen per implementar l'elecció seguint un dels tres paradigmes de vot segurs: barreja de vots, recompte homomòrfic o signatura cega. En aquesta tesi, es proposen nous protocols per als diferents paradigmes. La primera proposta consisteix en un sistema de vot que, basant-se en una informació redundant enviada pel votant, és capaç de realitzar una barreja de vots amb cost negligible incrementant lleugerament el cost del recompte. Per al paradigma de recompte homomòrfic, es proposa una prova de validesa del vot basada en les proves utilitzades per demostrar la correctesa en sistemes amb barreja de vots. Aquesta solució permet utilitzar les millores realitzades sobre el paradigma de barreja de vots per al seu ús en el paradigma de recompte homomòrfic. Finalment, es plantegen dues solucions per a eleccions del paradigma de signatura cega. La primera utilitza credencials generades amb signatura cega per permetre als votants vàlids enviar el seu vot sense que es conegui la seva identitat. La segona resol el problema del vot doble en aquest paradigma mitjan cant una construcció que utilitza un sistema de moneda electrònica off-line. / La democracia es el sistema de gobierno más usado en el mundo. No obstante, en un mundo cada vez más globalizado, la idea de movilizar a la gente para votar en un colegio electoral gestionado por personas resulta anticuada a pesar de ser la implementación más común en la actualidad. Mejorar esta situación mediante el uso de las tecnologías de la información parece una evolución obvia y muy solicitada pero, a pesar de unas pocas adaptaciones, aún no ha sido usada salvo en escasas ocasiones. Abrir la puerta de unas elecciones a las tecnologías de la información lleva implícita la apertura de los protocolos de voto a un nuevo conjunto de ataques contra estos. Teniendo en cuenta los requisitos de una elección: privacidad del votante e integridad de la elección, las soluciones actuales pasan por implementar la elección siguiendo uno de los tres paradigmas de voto seguros: mezcla de votos, recuento homomórfico o firma ciega. En esta tesis, se proponen nuevos protocolos para los distintos paradigmas. La primera propuesta consiste en un sistema de voto bajo el paradigma de mezcla de votos que, basándose en una información redundante enviada por el votante, es capaz de realizar una mezcla de votos con un coste negligible incrementando ligeramente el coste del recuento. Para el paradigma de recuento homomórfico, se propone una prueba para verificar que el voto es válido basada en las pruebas de correctitud en sistemas con mezcla de votos. Esta solución permite usar las mejoras realizadas en el paradigma de mezcla de votos para su uso en el paradigma de recuento homomórfico. Finalmente, se proponen dos nuevos protocolos del paradigma de firma ciega. El primero utiliza credenciales generadas con firma ciega para permitir a votantes válidos enviar su voto sin que se conozca su identidad. El segundo resuelve el problema del voto doble en el paradigma de firma ciega mediante una construcción que utiliza un sistema de moneda electrónica off-line. / Democracy is the most established government system in the world. However, in an increasingly globalized world, the idea of requiring people to move in order to cast their vote in the polling station seems outdated, even though it is, nowadays, the most common implementation. An obvious and widely demanded evolution is to improve the election framework by enabling the use of information technologies. Nevertheless, this solution has been implemented few times in real environment elections and the global success of these solutions have been called into question. The use of information technologies in voting protocols improves the quality of the election but, at the same time, it also opens up the voting protocols to new threats. Keeping this attacks in mind and given the election requirements: voter's privacy and election's integrity, the solutions proposed up to date are to implement one of the three secure voting paradigms: mixtype based, homomorphic tally, and blind signature. In this thesis, we present new protocols for the di erent paradigms. Our rst proposal, based on the mix-type paradigm, consists in a voting protocol which is able to perform the ballot mix with negligible cost but slightly increasing the tally cost. The proposed protocol makes use of a proper vote generation based on sending secret redundant information with the ballot when it is cast. For the homomorphic tally paradigm, we propose a zero knowledge proof of correctness of the ballot based on the proofs used to demonstrate the correctness of a shu e in the mix-type paradigm. This protocol makes possible to use the improvements on the shu e correctness proofs in the homomorphic tally paradigm. Finally, two di erent protocols are also proposed for the blind signature paradigm. The rst one uses credentials generated by means of a blind signature which allow eligible voters to cast their vote without leaking information about their identity. The second one is focused on solving the double voting problem in this paradigm. The protocol proposed uses o -line e-coin systems to provide anonymity disclosure in case of double voting.

En este trabajo se estudian los sistemas diferenciales polinomiales planos de grado 3 y 4 con un centro isócrono uniforme. Proporcionamos una clasificación para estos sistemas con respecto a la equivalencia topológica de sus retratos de fase globales en el disco de Poincaré. También calculamos las integrales primeras para los sistemas diferenciales polinomiales cúbicos con un centro isócrono uniforme en el origen. Otro resultado principal es una mejora en la teoría de promedio para el c´alculo de ciclos límite. Ese resultado se utiliza para el estudio de los ciclos límite que se bifurcan desde un centro isócrono uniforme de grado 3 y de las órbitas periódicas que rodean a esto centro, cuando dichos sistemas están perturbados dentro de la clase de los sistemas diferenciales polinomiales cúbicos continuos y discontinuos. La bifurcación de ciclos límite de los centros isócronos uniformes de grado 4 también es estudiada, cuando estos sistemas est´an perturbados dentro de la clase de los sistemas diferenciales polinomiales continuos y discontinuos de grado 4. Por último, mejoramos un estudio preliminar de los ciclos límite que bifurcan a partir del period annulus del centro isócrono uniforme de un sistema diferencial polinomial de grado 4 concreto, utilizando la teoría de promedio de primer orden.

In the field of grammatical inference, the goal of any learning algorithm is to identify a target concept from a given class by having access to a specific type of information. The main learning settings are Gold's model of learning in the limit and Angluin's query learning. This dissertation is primarily concerned with the second approach.We thoroughly investigate a recently introduced, linguistic motivated, type of query called Correction Query (CQ). We consider three possible definitions, and for each of them we give necessary and sufficient conditions for a language class to be learnable with these types of queries. Furthermore, we compare the model of learning with CQs with other well-known Gold-style and query learning models when no efficiency constraints are imposed. Results are also obtained for the restricted version of the model of learning with CQs in polynomial time. Additionally, we discuss the learnability of deterministic finite automata (DFAs) with correction and equivalence queries. We design several learning algorithms and we present a comparison between our algorithms and the standard algorithm for learning DFAs with membership and equivalence queries. These results are furthermore extended from string languages to tree languages. / Dentro del ámbito de la inferencia gramatical, el objetivo de cualquier algoritmo de aprendizaje consiste en identificar un concepto de una clase dada, teniendo acceso a un tipo específico de información. Los dos modelos de aprendizaje principales son: el modelo de aprendizaje en el límite propuesto por Gold y el modelo de aprendizaje a partir de preguntas de Angluin. Esta tesis se centra fundamentalmente en el segundo tipo de aprendizaje. En esta tesis doctoral investigamos a fondo un tipo de preguntas introducidas recientemente, por motivos lingüísticos, denominada PREGUNTA DE CORRECCIÓN. Nosotros consideramos tres posibles definiciones, y para cada uno de ellos presentamos condiciones necesarias y suficientes para que una clase de lenguajes sea identificable con estos tipos de preguntas. Además, comparamos estos tres modelos de aprendizaje a partir de preguntas de corrección con otros modelos de aprendizaje, en el caso general (sin ninguna restricción de tiempo) y también imponiendo que los algoritmos sean polinómicos.Además, investigamos el aprendizaje de autómata finitos deterministas (AFD) con preguntas de corrección y equivalencia. Diseñamos varios algoritmos de aprendizaje y presentamos una comparación entre nuestros algoritmos y el algoritmo estándar de aprendizaje a partir de preguntas de pertenencia y equivalencia. Estos resultados son, además, extendidos para los lenguajes de árboles.

La tesi que es presenta tracta l’estudi cinemàtic i dinàmic de la marxa humana mitjançant tècniques de dinàmica de sistemes multisòlid. Per a aquest propòsit, s’utilitzen dos models biomecànics: un model pla format per 11 segments i 14 graus de llibertat i un model tridimensional format per 18 segments i 57 graus de llibertat. La formulació dinàmica multisòlid ha estat desenvolupada en coordenades mixtes (naturals i relatives). La marxa de l’individu s’enregistra al laboratori utilitzant un sistema de captura del moviment mitjançant el qual s’obté la posició de cadascun dels 37 marcadors situats sobre el cos del subjecte. Les dades de posició es filtren utilitzant un algorisme basat en el singular spectrum analysis (SSA) i les coordenades naturals del model es calculen mitjançant relacions algebraiques entre les posicions dels marcadors. Posteriorment, un procés de consistència cinemàtica assegura les restriccions de sòlid rígid. El processament cinemàtic continua amb l’aproximació de les posicions mitjançant corbes B-spline d’on se n’obtenen, per derivació analítica, els valors de velocitat i acceleració. En una anàlisi dinàmica inversa de la marxa humana, s’acostumen a utilitzar com a dades d’entrada els paràmetres antropomètrics (geomètrics i inercials) dels segments, les dades cinemàtiques i les mesures de les plaques de força. En contraposició al que fan la majoria d’autors, en aquesta tesi, les mesures de les plaques de força no són utilitzades directament en l’anàlisi sinó que només s’usen per solucionar el problema del repartiment del torsor resultant de les forces de contacte durant la fase de doble suport. En aquesta fase, els dos peus es recolzen sobre el terra i les mesures cinemàtiques són insuficients per determinar el torsor en cada peu. El nou mètode de repartiment que es proposa (anomenat contact force plate sharing, CFP) és una de les aportacions de la tesi i destaca pel fet que permet determinar un conjunt de forces i moments dinàmicament consistents amb el model biomecànic, sense haver de modificar-ne les coordenades cinemàtiques ni afegir forces o moments residuals en algun dels segments. Encara dins l’àmbit de l’estudi dinàmic invers, s’ha analitzat la sensitivitat dels parells articulars a errors comesos en estimar els paràmetres antropomètrics, a errors que poden contenir les mesures de les plaques de força i a errors que es poden cometre en el processament cinemàtic de les mesures. L’estudi permet concloure que els resultats són molt sensibles als errors cinemàtics i a les forces mesurades per les plaques, sent els errors en els paràmetres antropomètrics menys influents. La tesi també presenta un nou model tridimensional de contacte peu-terra basat en el contacte esfera-pla i els seus paràmetres s’estimen mitjançant dos enfocaments diferents basats en tècniques d’optimització. El model s’utilitza com un mètode alternatiu per solucionar el problema del repartiment durant la fase de doble suport en dinàmica inversa, i també s’utilitza en simulacions de dinàmica directa per estimar les forces de contacte entre el model biomecànic i el seu entorn. En l’anàlisi dinàmica directa és necessària la implementació d’un controlador que està basat, en aquest cas, en el filtre de Kalman estès. Les contribucions més importants de la tesi, en el cas de l’anàlisi dinàmica inversa, es centren en el mètode CFP i en l’ús del model de contacte per solucionar el repartiment de forces de contacte en la fase de doble suport. Referent a l’anàlisi de la influència dels errors en les dades d’entrada del problema dinàmic invers, la modelització estadística dels errors conjuntament amb la pertorbació conjunta de més d’un paràmetre antropomètric a la vegada (mantenint constant l’alçada i el pes de la persona) és també una novetat. Per altra banda, el model de contacte presentat és també una contribució original. En l’estat de l’art actual no es troben models que usin dades reals capturades al laboratori i que a la vegada s’utilitzin per solucionar el problema de repartiment en el doble suport i per simular el contacte peu-terra en una anàlisi dinàmica directa. Finalment, el fet de desenvolupar un model que s’utilitzi tant per a l’anàlisi dinàmica directa com inversa és també una de les aportacions d’aquesta tesi. Tot i que les dues anàlisis, per separat, són temes de recerca comuns en l’àmbit de la Biomecànica, es troben a faltar estudis que comprovin la validesa dels resultats que se n’obtenen. En aquesta tesi, els resultats de la dinàmica inversa s’han utilitzat com a dades d’entrada de l’anàlisi dinàmica directa, el resultat de la qual (el moviment) ha pogut ser comparat amb el que s’obté de la captura del laboratori (entrada de la dinàmica inversa). D’aquesta manera, el cercle es tanca i es pot verificar la validesa tant dels models com dels resultats obtinguts. / This thesis presents the kinematic and dynamic study of human motion by means of multibody system dynamics techniques. For this purpose, two biomechanical models are used: a 2D model formed by 11 segments with 14 degrees of freedom, and a 3D model that consists of 18 segments with 57 degrees of freedom. The movement of the subject is recorded in the laboratory using a motion capture system that provides the position along time of 37 markers attached on the body of the subject. Position data are filtered using an algorithm based on singular spectrum analysis (SSA) and the natural coordinates of the model are calculated using algebraic relations between the marker positions. Afterwards, a kinematic procedure ensures the kinematic consistency and the data processing continues with the approximation of the position histories using B-spline curves and obtaining, by analytical derivation, the velocity and acceleration values. This information is used as input of an inverse dynamic analysis. Differing to most published works, in this thesis the force plates measurements are not used directly as inputs of the analysis. When both feet contact the ground, kinematic measurements are insufficient to determine the individual wrench at each foot. One of the contributions of the thesis is a new strategy that is proposed to solve the this indeterminacy (called corrected force plate sharing, CFP) based on force plates data. Using this method, a set of two contact wrenches dynamically consistent with the movement are obtained with no need neither to add residual wrenches nor to modify the original motion. Also in the IDA field, the sensitivity of the joint torques to errors in the anthropometric parameters, in the force plate measurements and to errors committed during the kinematic data processing is studied. The analysis shows that the results are very sensitive to errors in force measurements and in the kinematic processing, being the errors in the body segment parameters less influential. A new 3D foot-ground contact model is presented and its parameters are estimated using optimization techniques. The model is used as an alternative method to solve the mentioned sharing problem during the double support phase and it is also used, in a forward dynamic analysis, to estimate the contact forces between the biomechanical model and its environment. The forward dynamic simulation requires the implementation of a controller that is based, in this case, on the extended Kalman filter. The most important contributions of the thesis in IDA are focused on the CFP sharing method and regarding the analysis of the influence of errors in input data on the inverse dynamics results, the statistical modelling of the uncertainties together with the perturbation of more than one parameter at same time (remaining height and weight as a constant parameters) is also new in the literature. Moreover, the presented foot-ground contact model is also original. In the current state of the art, there are no models that use real data captured in the laboratory to solve the contact wrench sharing problem during the double support phase. Furthermore, there are few studies simulating the foot-ground interaction in a forward dynamic analysis using a continuous foot-ground contact model. Finally, developing a model that is used for both forward and inverse dynamic analysis is a relevant aspect of the methodology used. Although the two approaches separately are common research topics in the field of biomechanics, a small number of studies prove the validity of the obtained results. In this thesis, the results of the inverse dynamics are used as input data for the forward dynamic analysis, and the results of the latter (the motion) have been compared with the motion capture in the laboratory (input of the inverse dynamics analysis). Thus, the circle has been closed which allows us to validate the accuracy of both the models and the obtained results.

En aquesta tesi estudiem l'estabilitat d'estats estacionaris d'alguns models d'interacció, de fragmentació i de comportament de col·lectius. Tots aquests models comparteixen la propietat de no localitat i l'existència d'un funcional de Lyapunov. En el cas de les equacions d'interacció i dels models de col·lectius que considerem, hi ha en comú el terme no local ∇ ��∗ ��, on �� és potencial d'interacció, i �� la densitat de partícules en espai. El cas de les equacions de fragmentació és una mica diferent: són equacions integro-diferencials amb un terme no local donat per l'operador de fragmentació, una integral d'un nucli contra la densitat de partícules. Comencem amb una introducció a l'equació d'agregació amb potencial d'interacció repulsor-atractor i radial. Deduïm alguns resultats d'existència i convergència cap a estats estacionaris en forma de capes esfèriques. Busquem mínims de l'energia del funcional de Lyapunov per tal de trobar estats estacionaris per l'equació, i estudiem la in/estabilitat d'aquests estats estacionaris en particular. Propietats de confinament sobre les equacions d'agregació són estudiades en el Capítol 3. Demostrem que les solucions són de suport compacte i estan ficades en una bola grossa fixada per a tot temps. Continuem la recerca en les equacions d'agregació en el Capítol 4, on s'estudia la dimensió dels mínims locals pel funcional de l'energia d'interacció. Un altre problema que estudiem és el comportament asimptòtic de les equacions de creixement-fragmentació. Al Capítol 5 donarem estimacions sobre els perfils asimptòtics i provarem una desigualtat de forat espectral. Aquests models no són un flux gradient respecte del funcional de l'energia. Tanmateix, es pot trobar un funcional de Lyapunov que utilitzarem per a demostrar convergència exponencialment ràpida de les solucions cap als perfils asimptòtics demostrant una desigualtat d'entropia - dissipació d'entropia. Aquesta tècnica ens dóna estabilitat dels estats estacionaris demostrant convergència cap a mínims locals i, a més, ens permet estimar la ràtio de la convergència cap a l'equilibri. Acabem aquesta tesi amb els resultats del Capítol 6, on estudiem dos models de segon ordre de partícules pel comportament de col·lectius. Ens referim a aquests sistemes com a models basats en individus (IBMs), que és el llenguatge comú que s'utilitza per aquest tipus de models. Demostrem l'estabilitat de dues solucions particulars: la manada en forma d'anell i la rotació en forma d'anell. Relacionarem l'estabilitat d'aquestes solucions per aquests dos models de segon ordre amb l'estabilitat dels anells del model de primer ordre, la versió discreta de l'equació d'agregació del Capítol 2. / In this dissertation, we study the stability of stationary states for some interaction equations and for fragmentation and swarming models. All these models share the common property of nonlocality and the existence of a Lyapunov functional. In the case of the interaction equations and the models for swarming that we consider, they have in common the nonlocal interaction term ∇ �∗ � where � is the interaction potential, and � the density of particles in space. The case of the fragmentation equations is a bit different: they are integro-differential equations, with the nonlocal term given by the fragmentation operator, an integral of a kernel against the density of particles. We start with an introduction to aggregation equations, with repulsive-attractive radial interaction potential. We derive some existence results and convergence to spherical shell stationary states. We look for local minimizers of the interaction Lyapunov functional in order to find stable stationary states of the equation. We study radial ins/stability of these particular stationary states. For these aggregation models we will make use of the gradient flow structure that they have. Confinement properties of solutions of aggregation equations under certain conditions on the interaction potential are studied in Chapter 3. We show that solutions remain compactly supported in a large fixed ball for all times. We continue our research in aggregation equations in Chapter 4, where we characterize the dimensionality of local minimizers of the interaction energy. Another problem that we study is the asymptotic behavior of growth-fragmentation models. In Chapter 5, we give estimates on asymptotic profiles and a spectral gap inequality for growth-fragmentation equations. These models are not a gradient flow of a particular energy functional. However, they have a Lyapunov functional that we use to prove exponentially fast convergence of solutions to the asymptotic profiles by showing an entropy - entropy dissipation inequality. This technique gives us stability of the stationary states proving convergence to the local minimizers and it allows for estimates on the rate of convergence to equilibrium. We finish this thesis with the results in Chapter 6, where we study two second order particle systems for swarming. We refer to these systems as individual based models (IBMs), which is the common language used in swarming. We prove the stability of two particular solutions: flock rings and mill rings. We relate the stability of these ring solutions of the second order models with the stability of the rings of a first order model, the discrete version of the aggregation equation of Chapter 2.

En aquest treball es donen alguns models matemàtics que intenten capturar els trets fonamentals de la teoria de l'evolució Darwinista. Aquests models tenen en compte, principalment, la selecció natural i la mutació, principis bàsics de la teoria de l'evolució. Per a això, es considera una densitat de població, u(t,x), on x_[0,1]n denota una col·lecció de variables evolutives, és a dir, característiques dels individus de la població que poden mutar al reproduir-se (per exemple, el color) i es donen unes equacions que ens permetran calcular l'evolució d'aquesta densitat de població a mida que passa el temps.Al Capítol 1 es fa una introducció dels models que ja existien a la literatura i dels que s'introdueixen a la memòria. Al Capítol 2 es considera una població formada per individus que comparteixen les mateixes característiques evolutives, es donen unes equacions amb retard en el temps modelant aquesta població i s'estudia primer l'existència, unicitat i positivitat global de solucions. Després es passa a estudiar l'existència de solucions estacionàries i la seva estabilitat (local). També s'estudien alguns aspectes de la dinàmica global com pot ser l'existència d'atractors globals. Finalment, s'estudien les estratègies evolutivament estables (ESS), es dóna un esquema numèric Adams-Bashforth-Moulton i es fan unes simulacions numèriques.Al Capítol 3 es considera una població d'individus com la del capítol anterior i es suposa que una proporció d'aquesta ha adquirit una (o més) característica evolutiva que li permet explotar un nou recurs. Considerem doncs, dues densitats de població: la dels ancestrals, u(t,x), i la dels mutants, v(t,x,y). Una vegada introduïda la situació es passa a donar un model matemàtic i veure que està ben posat, és a dir, s'estudia l'existència, unicitat i positivitat global de solucions. També s'estudia l'existència de solucions estacionàries així com la seva estabilitat local. Acte seguit es passa a estudiar alguns aspectes de la dinàmica global.A l'últim capítol es dóna un model presa-predador i se suposa que la població de preses depèn d'unes determinades variables evolutives. Com a la resta dels capítols comencem veient que el model donat està ben posat, calculem l'existència de solucions estacionàries i estudiem l'estabilitat d'aquestes únicament en un cas particular. Donem l'existència d'un atractor global i calculem les estratègies evolutivament estables. / In this work we give some mathematical models that try to capture the main traits of the darwinian theory of evolution. These models take into account mainly natural selection and mutation, which are the basic principles of the Theory of Evolution. In order to do that we consider the population density u(t,x), where x [0,1]n denotes a collection of evolutive variables, that is, characteristics of the individuals of the population that can mutate when reproducing (for instance, the color) and the equations that allow the prediction of this population density with time are given.In Chapter 1 we give an introduction to the already existing models in the literature and to the ones which are introduced in this work. In Chapter 2 we consider a population consisting of individuals sharing the same evolutive characteristics. We give the time lag equations modeling the evolution of this population and the global existence, uniqueness and positivity of the solutions are studied. Then we study the existence of stationary solutions and their (local) stability. We study also some aspects of their global dynamics, as the existence of global attractors. Finally the evolutionarily stable strategies (ESS) are studied, an Adams-Bashforth-Moulton method scheme is given and some numerical simulations are performed.In Chapter 3 we consider a population like the one considered in the previous chapter, when a certain number of their individuals have acquired one (or more) evolutive characteristics that allows them to exploit a new resource. Two population densities are hence considered: the ancestral one u(t,x) and the mutants v(t,x,y). Once this situation is established a mathematical model is given and shown to be well posed, that is, the global existence, uniqueness and positivity of solutions is studied. Next the existence of stationary solutions is considered, with the study of their local stability. Then some aspects of the global dynamics are established.In the last chapter a prey-predator model is given and it is assumed that the prey population depends on some determined evolutive variables. As in the preceding chapters, it is established that the model is well posed, the stationary solutions are determined and their stability is established in a particular case. The existence of a global attractor is proven and the evolutionarily stable strategies are computed.