11 research outputs found

    Algorithmique du Network Calculus

    Get PDF
    Le Network Calculus est une thĂ©orie visant Ă  calculer des bornes pire-cas sur les performances des rĂ©seaux de communication. Le rĂ©seau est modĂ©lisĂ© par un graphe orientĂ© oĂč les noeuds reprĂ©sentent des serveurs, et les flux traversant le rĂ©seau doivent suivre les arcs. S'ajoutent Ă  cela des contraintes sur les courbes de trafic (la quantitĂ© de donnĂ©es passĂ©es par un point depuis la mise en route du rĂ©seau) et sur les courbes de service (la quantitĂ© de travail fournie par chaque serveur). Pour borner les performances pire-cas, comme la charge en diffĂ©rents points ou les dĂ©lais de bout en bout, ces enveloppes sont combinĂ©es Ă  l'aide d'opĂ©rateurs issus notamment des algĂšbres tropicales : min, +, convolution-(min, +)... Cette thĂšse est centrĂ©e sur l'algorithmique du Network Calculus, Ă  savoir comment rendre effectif ce formalisme. Ce travail nous a amenĂ© d'abord Ă  comparer les variations prĂ©sentes dans la littĂ©rature sur les modĂšles utilisĂ©s, rĂ©vĂ©lant des Ă©quivalences d'expressivitĂ© comme entre le Real-Time Calculus et le Network Calculus. Dans un deuxiĂšme temps, nous avons proposĂ© un nouvel opĂ©rateur (min, +) pour traiter le calcul de performances en prĂ©sence d'agrĂ©gation de flux, et nous avons Ă©tudiĂ© le cas des rĂ©seaux sans dĂ©pendances cycliques sur les flux et avec politique de service quelconque. Nous avons montrĂ© la difficultĂ© algorithmique d'obtenir prĂ©cisĂ©ment les pires cas, mais nous avons aussi fourni une nouvelle heuristique pour les calculer. Elle s'avĂšre de complexitĂ© polynomiale dans des cas intĂ©ressants.Network Calculus is a theory aiming at computing worst-case bounds on performances in communication networks. The network is usually modelled by a digraph : the servers are located on the nodes and the flows must follow path in the digraph. There are constraints on the trafic curves (how much data have been through a given point since the activation of the network) and on the service curves (how much work each server may provide). To derive bounds on the worst-case performances, as the backlog or the end-to-end delay, these envelopes are combined thanks to tropical algebra operators: min, +, convolution... This thesis focuses on Network Calculus algorithmics, that is how effective is this formalism. This work led us to compare various models in the litterature, and to show expressiveness equivalence between Real-Time Calculus and Network Calculus. Then, we suggested a new (min, +) operator to compute performances bounds in networks with agregated flows and we studied feed-forward networks under blind multiplexing. We showed the difficulty to compute these bounds, but we gave an heuristic, which is polynomial for interesting cases.LYON-ENS Sciences (693872304) / SudocSudocFranceF

    Courtage sémantique de services de calcul

    Get PDF
    La recherche du ou des services de calcul scientifique disponibles sur une grille qui rĂ©pondent aux besoins d'un utilisateur, aussi appelĂ©e courtage de services, est une activitĂ© complexe. En effet, les services disponibles sont souvent conçus pour rĂ©pondre de maniĂšre efficace Ă  de nombreux besoins diffĂ©rents. Ceux-ci comportent donc en gĂ©nĂ©ral de nombreux paramĂštres et la simple signature du service ne suffit pas pour que l'utilisateur puisse le trouver. La solution proposĂ©e dans ces travaux consiste Ă  utiliser une description formelle du domaine d'application comportant l'ensemble des donnĂ©es et des opĂ©rateurs du domaine ainsi que les propriĂ©tĂ©s des opĂ©rateurs. Dans le cadre de cette thĂšse, cette description est effectuĂ©e sous la forme d'une spĂ©cification algĂ©brique. Un service ou une requĂȘte sont alors des termes de l'algĂšbre associĂ©e. En ce qui concerne les signatures, nous combinons le sous-typage des sortes et la surcharge des opĂ©rateurs selon le systĂšme de type proposĂ© par G. Castagna pour le λ&-calcul. Le courtage consiste alors Ă  effectuer un filtrage modulo la thĂ©orie Ă©quationnelle associĂ©e Ă  la spĂ©cification, entre le terme reprĂ©sentant le service souhaitĂ© et les termes reprĂ©sentant les services disponibles. Nous proposons et avons implantĂ© deux algorithmes diffĂ©rents inspirĂ©s d'un parcours de l'arbre de recherche des solutions contraint par une quantitĂ© d'Ă©nergie (nombre d'Ă©quations et/ou de compositions applicables). Le premier algorithme est directement dĂ©rivĂ© des travaux de Gallier et Snyder sur l'unification Ă©quationnelle. Nous avons montrĂ© sa correction et argumentĂ© sa complĂ©tude (ou exhaustivitĂ©). Le second algorithme dĂ©coule d'une dĂ©finition constructive de l'ensemble des services qui peuvent rĂ©pondre Ă  la requĂȘte d'un utilisateur. L'algorithme consiste alors en un parcours particulier de l'arbre construit pour engendrer le service requis. Nous avons Ă©galement montrĂ© sa correction, et sa complĂ©tude pour certaines formes d'Ă©quations. Nous illustrons notre approche dans les domaines applicatifs suivants : algĂšbre linĂ©aire et optimisation, et nous nous intĂ©ressons au traitement de la combinaison de domaines applicatifs. ABSTRACT : The search for a computing service available on a grid which corresponds to an user's needs, also called trading services, is a complex activity. Indeed available services are often implemented to fulfill efficiently different requirements.These services offer many parameters and their signature is often not enough for a precise description. The object of this work consists in using a formal description of the dedicated domain : the data, the operators and their properties. This description is carried out as an algebraic specification. Services and requests are then terms of the associated algebra. For the signatures, we combine sub-sorting and overloading of operators by using the type system proposed by G. Castagna for the λ&-calculus. Trading is then implemented as an equational matching modulo the theory associated to the specification, between the term representing the required service and the terms representing the available services. We propose two algorithms inspired from a traversal of the solution search tree constrained by an amount of energy. The first one is directly inspired from the work of Gallier and Snyder on equational unification. We have proved its correctness and argued its completeness. The second one is derived from a constructive definition of the set of services which answer the user request. We have proved its correctness and its completeness for some kind of equations. We illustrate our approach with applications to linear algebra and optimization and an interaction between these two domains

    Journées Francophones des Langages Applicatifs 2018

    Get PDF
    National audienceLes 29Úmes journées francophones des langages applicatifs (JFLA) se déroulent en 2018 à l'observatoire océanographique de Banyuls-sur-Mer. Les JFLA réunissent chaque année, dans un cadre convivial, concepteurs, développeurs et utilisateurs des langages fonctionnels, des assistants de preuve et des outils de vérification de programmes en présentant des travaux variés, allant des aspects les plus théoriques aux applications industrielles.Cette année, nous avons sélectionné 9 articles de recherche et 8 articles courts. Les thématiques sont variées : preuve formelle, vérification de programmes, modÚle mémoire, langages de programmation, mais aussi théorie de l'homotopieet blockchain

    Modélisation informatique de structures dynamiques de segments textuels pour l'analyse de corpus

    No full text
    The objective of the thesis is to propose a data-processing model to represent, build and exploit textualstructures. The suggested model relies on a «type/token» form of text representation extended bysystems of lexical and contextual annotations. This model's establishment was carried out in the SATOsoftware -- of which the functionalities and the internal organization are presented. Reference to anumber of works give an account of the development and use of the software in various contexts.The formal assumption of the textual and discursive structures find an ally in the beaconing XMLlanguage and the proposals of the Text Encoding Initiative (TEI). Formally, the structures built on thetextual segments correspond to graphs. In a development driven textual analysis context, these graphsare multiple and partially deployed. Their resolution, within the fastening of the nodes to textualsegments or that of other graphs, is a dynamic process which can be sustained by various dataprocessingmechanisms. Examples drawn from textual linguistics are used to illustrate the principles ofstructural annotation. Prospective considerations for the data-processing establishment of amanagement system of the structural annotation are also exposed.L'objectif de la thĂšse est de proposer un modĂšle informatique pour reprĂ©senter, construire et exploiterdes structures textuelles. Le modĂšle proposĂ© s'appuie sur une reprĂ©sentation du texte sous la forme d'unplan lexique/occurrences augmentĂ© de systĂšmes d'annotations lexicales et contextuelles, modĂšle dontune implantation a Ă©tĂ© rĂ©alisĂ©e dans le logiciel SATO dont on prĂ©sente les fonctionnalitĂ©s etl'organisation interne. La prĂ©sentation d'un certain nombre de travaux rendent compte dudĂ©veloppement et de l'utilisation du logiciel dans divers contextes.La prise en charge formelle des structures textuelles et discursives trouve un alliĂ© dans le langage debalisage XML et dans les propositions de la Text Encoding Initiative (TEI). Formellement, lesstructures construites sur les segments textuels correspondent Ă  des graphes. Dans le contexte d'uneanalyse textuelle en Ă©laboration, ces graphes sont multiples et partiellement dĂ©ployĂ©s. La rĂ©solution deces graphes, au sens du rattachement des noeuds Ă  des segments textuels ou Ă  des noeuds d'autresgraphes, est un processus dynamique qui peut ĂȘtre soutenu par divers mĂ©canismes informatiques. Desexemples tirĂ©s de la linguistique textuelle servent Ă  illustrer les principes de l'annotation structurelle.Des considĂ©rations prospectives sur une implantation informatique d'un systĂšme de gestion del'annotation structurelle sont aussi exposĂ©es

    Actes de l'Ecole d'Eté Temps Réel 2005 - ETR'2005

    Get PDF
    Pdf des actes disponible à l'URL http://etr05.loria.fr/Le programme de l'Ecole d'été Temps Réel 2005 est construit autour d'exposés de synthÚse donnés par des spécialistes du monde industriel et universitaire qui permettront aux participants de l'ETR, et notamment aux doctorants, de se forger une culture scientifique dans le domaine. Cette quatriÚme édition est centrée autour des grands thÚmes d'importance dans la conception des systÚmes temps réel : Langages et techniques de description d'architectures, Validation, test et preuve par des approches déterministes et stochastiques, Ordonnancement et systÚmes d'exploitation temps réel, Répartition, réseaux temps réel et qualité de service

    Ressources et parcours pour l'apprentissage du langage Python : aide à la navigation individualisée dans un hypermédia épistémique à partir de traces

    Get PDF
    This research work mainly concerns means of assistance in individualized navigation through an epistemic hypermedia. We have a number of resources that can be formalized by a directed acyclic graph (DAG) called the graph of epistemes. After identifying resources and pathways environments, methods of visualization and navigation, tracking, adaptation and data mining, we presented an approach correlating activities of design or editing with those dedicated to resources‘ use and navigation. This provides ways of navigation‘s individualization in an environment which aims to be evolutive. Then, we built prototypes to test the graph of epistemes. One of these prototypes was integrated into an existing platform. This epistemic hypermedia called HiPPY provides resources and pathways on Python language. It is based on a graph of epistemes, a dynamic navigation and a personalized knowledge diagnosis. This prototype, which was experimented, gave us the opportunity to evaluate the introduced principles and analyze certain uses.Les travaux de recherche de cette thĂšse concernent principalement l‘aide Ă  la navigation individualisĂ©e dans un hypermĂ©dia Ă©pistĂ©mique. Nous disposons d‘un certain nombre de ressources qui peut se formaliser Ă  l‘aide d‘un graphe acyclique orientĂ© (DAG) : le graphe des Ă©pistĂšmes. AprĂšs avoir cernĂ© les environnements de ressources et de parcours, les modalitĂ©s de visualisation et de navigation, de traçage, d‘adaptation et de fouille de donnĂ©es, nous avons prĂ©sentĂ© une approche consistant Ă  corrĂ©ler les activitĂ©s de conception ou dâ€˜Ă©dition Ă  celles dĂ©diĂ©es Ă  l‘utilisation et la navigation dans les ressources. Cette approche a pour objectif de fournir des mĂ©canismes d‘individualisation de la navigation dans un environnement qui se veut Ă©volutif. Nous avons alors construit des prototypes appropriĂ©s pour mettre Ă  lâ€˜Ă©preuve le graphe des Ă©pistĂšmes. L‘un de ces prototypes a Ă©tĂ© intĂ©grĂ© Ă  une plateforme existante. Cet hypermĂ©dia Ă©pistĂ©mique baptisĂ© HiPPY propose des ressources et des parcours portant sur l‘apprentissage du langage Python. Il s‘appuie sur un graphe des Ă©pistĂšmes, une navigation dynamique et un bilan de connaissances personnalisĂ©. Ce prototype a fait l‘objet d‘une expĂ©rimentation qui nous a donnĂ© la possibilitĂ© dâ€˜Ă©valuer les principes introduits et d‘analyser certains usages

    Fragments d'Optimisation Différentiable - Théories et Algorithmes

    Get PDF
    MasterLecture Notes (in French) of optimization courses given at ENSTA (Paris, next Saclay), ENSAE (Paris) and at the universities Paris I, Paris VI and Paris Saclay (979 pages).Syllabus d’enseignements délivrés à l’ENSTA (Paris, puis Saclay), à l’ENSAE (Paris) et aux universités Paris I, Paris VI et Paris Saclay (979 pages)

    Algorithmique efficace pour des opérations de base en calcul formel.

    No full text
    The subject of this thesis is the design and implementation of efficient algorithms for some basic operations in computer algebra, as well as their applications to related fields, such as computational number theory and cryptography. The first part of the text is dedicated to basic algorithms on univariate polynomials. The tool which we use systematically is a constructive version of Tellegen's transposition principle, which makes it possible to obtain new algorithms for the problems of multipoint evaluation and interpolation (in various polynomial bases and for various families of evaluation points), as well as a theorem of equivalence between the complexities of these two problems. The second part is devoted to fast computation with algebraic numbers. We begin by studying certain elementary operations, such as the composed sum and the composed product and their generalization -- the diamond product of Brawley and~Carlitz. Their calculation rests on the use of the formal Newton operator and the algebraic duality, translated algorithmically by the use of transposition principle and baby step / giant step methods. The results are then generalized to the framework of zero-dimensional algebraic polynomial systems, for the computation of minimal polynomials in quotient algebras and that of rational parametrizations. In the third part, we investigate the question of the efficient computation of a term in a linear recurrent sequence with polynomial coefficients. As an application, we obtain theoretical and practical improvements of a point-counting method used in hyperelliptic curve cryptography. Then, we propose an evaluation-interpolation type method for certain usual operations on linear differential operators with polynomial coefficients.Le sujet de cette thÚse est la conception et l'implantation d'algorithmes efficaces pour des opérations de base en calcul formel, ainsi que leurs applications à des domaines connexes, comme la théorie algorithmique des nombres et la cryptographie. Une premiÚre partie traite de l'algorithmique de base sur les polynÎmes à une variable. L'outil systématiquement mis en oeuvre est une version constructive du principe de transposition de Tellegen, qui permet d'obtenir de nouveaux algorithmes pour l'évaluation multipoint et l'interpolation (dans diverses bases polynomiales et pour diverses familles de points d'évaluation), ainsi qu'un théorÚme d'équivalence entre les complexités de ces deux problÚmes. La deuxiÚme partie est consacrée à l'algorithmique des nombres algébriques. Nous étudions d'abord certaines opérations élémentaires, comme la somme, le produit et leur généralisation, le produit diamant de Brawley et Carlitz. Leur calcul repose sur l'utilisation de l'opérateur de Newton formel et de la dualité algébrique, traduite algorithmiquement par l'emploi du principe de transposition et des méthodes de type pas de bébés / pas de géants. Ces méthodes sont ensuite généralisées au cadre des systÚmes de polynÎmes de dimension zéro, pour le calcul de polynÎmes minimaux dans des algÚbres quotient, ainsi que de paramétrisations rationnelles. Dans la troisiÚme partie, nous étudions la question du calcul d'un terme d'une suite récurrente linéaire à coefficients polynomiaux. Comme application, nous obtenons des améliorations théoriques et pratiques des méthodes de comptage de points utilisées en cryptographie. Nous proposons ensuite une méthode de type évaluation-interpolation pour certaines opérations usuelles sur les opérateurs différentiels linéaires à coefficients polynomiaux

    Ondes matiĂšre et Univers

    Get PDF
    Cet ouvrage, dans la vision pluridisciplinaire de l’AcadĂ©mie, montre les progrĂšs scientifiques rĂ©alisĂ©s depuis les premiers travaux d’Albert Einstein et de ses contemporains du dĂ©but du XXe siĂšcle sur les deux grands piliers de la Physique moderne que sont la RelativitĂ© gĂ©nĂ©rale et la MĂ©canique quantique. Il a la prĂ©tention de rassembler les rĂ©sultats et les observations scientifiques les plus significatifs de la fin du XXe siĂšcle et de ce dĂ©but de troisiĂšme millĂ©naire. MalgrĂ© les difficultĂ©s actuelles des tentatives de leur conciliation en vue de bĂątir une thĂ©orie unifiĂ©e, ces deux thĂ©ories montrent leur grande pertinence dans leurs domaines respectifs de validitĂ©. Elles nous offrent une vision du monde et de l’Univers d’une richesse insoupçonnĂ©e. Ce livre comporte quatre parties. 1) RelativitĂ©, ondes de l'univers. 2) DualitĂ© ondes/corpuscules de la physique quantique. 3) Ondes, matiĂšre et quantification. 4) Une nouvelle rĂ©volution scientifique Ă  l'horizon ? La mĂȘme exigence traverse en filigrane tous les travaux ou rĂ©flexions prĂ©sentĂ©s : l’exigence d'accroĂźtre et d’affiner constamment les techniques d’observations et d’expĂ©rimentations, et de construire parallĂšlement les outils mathĂ©matiques nĂ©cessaires Ă  l’analyse de leurs rĂ©sultats ; l’exigence de tester les implications des thĂ©ories jusqu’aux derniĂšres limites permises par ces possibilitĂ©s observationnelles et expĂ©rimentales ; pour rĂ©sumer l’exigence de mettre sans cesse Ă  l’épreuve les thĂ©ories dans leur conformitĂ© aux observations et expĂ©riences, et, Ă  travers leur interprĂ©tation, dans le rapport que nous leur attribuons Ă  la « rĂ©alitĂ© » de notre Univers
    corecore