Literatura académica sobre el tema "Accélération logicielle"

La thèse porte sur les architectures temps réel pour la radio-logicielle 5G. Afin de répondre aux exigences de performances de la 5G, une accélération des procédés critiques combinée à des méthodes d’ordonnancement de processus temps réels sont nécessaires. Dans les systèmes embarqués 5G, l'accélération équivaut à une combinaison judicieuse d'unités matérielles supplémentaires pour les fonctions les plus coûteuses en termes de calcul avec des composants logiciels pour des procédures de contrôle complexe ainsi que l’arithmétique simples. Des solutions entièrement logicielles apparaissent également pour certaines applications, notamment dans l'écosystème dit Open Radio-Access Network (openRAN). Les contributions de cette thèse résident dans des méthodes d'accélération purement logicielles et de contrôle en temps réel d'interfaces dit « fronthaul » à faible latence. Étant donné que la 5G a des exigences de latence strictes et prend en charge le trafic de données à très haut débit, les méthodes d’ordonnancement du traitement en bande de base doivent être adaptées aux spécificités de l'interface radio. Plus précisément, nous proposons une décomposition fonctionnelle de l'interface-air 5G qui se prête à des implémentations logicielles multicœurs ciblant des serveurs haut de gamme exploitant l'accélération de données multiples à instruction unique (SIMD). De plus, nous fournissons quelques pistes pour le traitement multithread via le pipelining et l'utilisation de pools de threads. Nous mettons en évidence les méthodes et la caractérisation de leur performances qui ont été exploitées lors du développement de l'implémentation OpenAirInterface 5G<br>The thesis deals with 5G real-time Software Defined Radio architectures. In order to match 5G performance requirements, computational acceleration combined with real-time process scheduling methods are required. In 5G embedded systems acceleration amounts to a judicious combination additional hardware units for the most computationally costly functions with software for simpler arithmetic and complex control procedures. Fully software-based solutions are also appearing for certain applications, in particular in the so-called Open Radio-Access Network (openRAN) ecosystem. The contributions of this thesis lie in methods for purely software-based acceleration and real-time control of low-latency fronthaul interfaces. Since 5G has stringent latency requirements and support for very high-speed data traffic, methods for scheduling baseband processing need to be tailored to the specifics of the air-interface. Specifically, we propose a functional decomposition of the 5G air interface which is amenable to multi-core software implementations targeting high-end servers exploiting single-instruction multiple-data (SIMD) acceleration. Moreover, we provide some avenues for multi-threaded processing through pipelining and the use of thread pools. We highlight the methods and their performance evaluation that have been exploited during the development of the OpenAirInterface 5G implementation

@Nous avons créé un nouveau et performant logiciel de synthèse d'images du type palette graphique en suivant deux objectifs : amélioration de la qualité des modèles utilisés et accélération des algorithmes. De nouveaux modèles permettant de générer des effets difficilement réalisables jusqu'alors ont été proposés et implémentés. Les dégradés par interpolation curvilinéaire-linéaire et la génération automatique de programmes de calcul de courbes sont par exemple deux nouvelles fonctionnalités offertes aux graphistes. Afin d'accélérer les algorithmes les plus utilisés, nous avons démontré de nouvelles propriétés mathématiques que nous avons efficacement appliquées. . .

L'objectif de cette thèse est d'apporter de nouvelles méthodes pour vérifier des propriétés d'accessibilité de systèmes à compteurs. Nous employons le mot "méthode" pour désigner un ensemble de théorèmes fondamentaux situant les problèmes décidables et indécidables ainsi que leurs complexités, un ensemble de théorèmes d'algorithmique ainsi que des heuristiques, choisies après expérimentations, permettant d'implémenter avec efficacité les théorèmes précédents. Ces méthodes ont été implémentées dans un nouvel outil FAST.

Cette thèse s'inscrit dans le cadre de la vérification formelle de systèmes informatiques. Plus exactement nous nous intéressons au calcul de l'ensemble d'accessibilité d'automates étendus par des variables à domaines infinis. Bien que cet ensemble ne soit pas récursif en général, des techniques à base d'accélération permettent de le calculer en pratique. Cependant ces méthodes sont encore mal connues. Nous nous intéressons à l'étude de l'accélération, des points de vue théorique, algorithmique et implantation logicielle.

Les algorithmes convexes de résolution pour les régressions linéaires parcimonieuses possèdent de bonnes performances pratiques et théoriques. Cependant, ils souffrent tous des dimensions du problème qui dictent la complexité de chacune de leur itération. Nous proposons une approche pour réduire ce coût calculatoire au niveau de l'itération. Des stratégies récentes s'appuyant sur des tests d'élimination de variables ont été proposées pour accélérer la résolution des problèmes de régressions parcimonieuse pénalisées tels que le LASSO. Ces approches reposent sur l'idée qu'il est profitable de dédier un petit effort de calcul pour localiser des atomes inactifs afin de les retirer du dictionnaire dans une étape de prétraitement. L'algorithme de résolution utilisant le dictionnaire ainsi réduit convergera alors plus rapidement vers la solution du problème initial. Nous pensons qu'il existe un moyen plus efficace pour réduire le dictionnaire et donc obtenir une meilleure accélération : à l'intérieur de chaque itération de l'algorithme, il est possible de valoriser les calculs originalement dédiés à l'algorithme pour obtenir à moindre coût un nouveau test d'élimination dont l'effet d'élimination augmente progressivement le long des itérations. Le dictionnaire est alors réduit de façon dynamique au lieu d'être réduit de façon statique, une fois pour toutes, avant la première itération. Nous formalisons ce principe d'élimination dynamique à travers une formulation algorithmique générique, et l'appliquons en intégrant des tests d'élimination existants, à l'intérieur de plusieurs algorithmes du premier ordre pour résoudre les problèmes du LASSO et Group-LASSO<br>Applications in signal processing and machine learning make frequent use of sparse regressions. Resulting convex problems, such as the LASSO, can be efficiently solved thanks to first-order algorithms, which are general, and have good convergence properties. However those algorithms suffer from the dimension of the problem, which impose the complexity of their iterations. In this thesis we study approaches, based on screening tests, aimed at reducing the computational cost at the iteration level. Such approaches build upon the idea that it is worth dedicating some small computational effort to locate inactive atoms and remove them from the dictionary in a preprocessing stage so that the regression algorithm working with a smaller dictionary will then converge faster to the solution of the initial problem. We believe that there is an even more efficient way to screen the dictionary and obtain a greater acceleration: inside each iteration of the regression algorithm, one may take advantage of the algorithm computations to obtain a new screening test for free with increasing screening effects along the iterations. The dictionary is henceforth dynamically screened instead of being screened statically, once and for all, before the first iteration. Our first contribution is the formalisation of this principle and its application to first-order algorithms, for the resolution of the LASSO and Group-LASSO. In a second contribution, this general principle is combined to active-set methods, whose goal is also to accelerate the resolution of sparse regressions. Applying the two complementary methods on first-order algorithms, leads to great acceleration performances

L'étude des systèmes aux équations différentielles ordinaires vise à prédire le futur des systèmes considérés. La connaissance de l'évolution dans le temps de toutes les variables d' état du modèle permet de prédire de possibles changements radicaux des variables ou des défaillances, par exemple, un moteur peut exploser, un pont peut s'écrouler, une voiture peut se mettre à consommer plus d'essence. De plus, les systèmes dynamiques peuvent contenir des dérivées spatiales et leur discrétisation peut ajouter un très grand nombre d'équations. La résolution des équations différentielles ordinaires est alors une étape essentielle dans la construction des systèmes physiques en terme de dimensionnement et de faisabilité. Le solveur de tels systèmes EDOs doit être rapide, précis et pertinent.En pratique, il n'est pas possible de trouver une fonction continue qui soit solution exacte du problème EDO. C'est pourquoi, des méthodes numériques sont utilisées afin de donner des solutions discrèes qui approchent la solution continue avec une erreur contrôlable. La gestion précise de ce contrôle est très importante afin d'obtenir une solution pertinente en un temps raisonnable.Cette thèse développe un nouveau solveur qui utilise plusieurs méthodes d'amélioration de la vitesse d'exécution des systèmes EDOs. La première méthode est l'utilisation d'un nouveau schéma numérique. Le but est de minimiser le coût de l'intégration en produisant une erreur qui soit le plus proche possible de la tolérance maximale permise par l'utilisateur du solveur. Une autre méthode pour améliorer la vitesse d'exécution est de paralléliser le solveur EDO en utilisant une architecture multicoeur et multiprocesseur. Enfin, le solveur a été testé avec différentes applications d'OpenModelica<br>The study of systems of Ordinary Differential Equations aims at predicting the future of the considered systems. The access to the evolution of all states of a system's model allows us to predict possible drastic shifts of the states or failures, e.g. an engine blowing up, a bridge collapsin, a car consuming more gasoline etc. Solving ordinary differential equations is then an essential step of building industrial physical systems in regard to dimensioning and reliability. The solver of such ODE systems needs to be fast, accurate and relevant.In practice, it is not possible to find a continuous function as the exact solution of the real ODE problem. Consequently numerical methods are used to give discrete solutions which approximates the continuous one with a controllable error. The correct handline of this control is very important to get a relevant solution within an acceptable recovery time. Starting from existing studies of local and global errors, this thesis work goes more deeply and adjusts the time step of the integration time algorithm and solves the problem in a very efficient manner.A new scheme is proposed is this thesis, to minimize the cost of integration. Another method to improve the execution speed is to parallelize the ODE solver by using a multicore and a multiprocessor architecture. Finally, the solver has been tested with different applications from OpenModelica

Dans la première partie de cette thèse, on introduit deux variantes XFEM qui permettent d'obtenir des convergences optimales avec XFEM tout en réduisant le coût de calcul. La première, la méthode XFEM avec une fonction cutoff, consiste à introduire un enrichissement singulier globalisé au voisinage du fond de la fissure via une fonction de localisation. Dans la deuxième, l'enrichissement singulier est introduit globalement sur un sous domaine contenant le fond de fissure. Ensuite, ce sous domaine est raccordé avec le reste du domaine fissuré avec une condition faible de raccord intégral. Cette approche permet d'améliorer l'approximation par rapport à cutoff XFEM. La deuxième partie est dédiée à l'introduction de deux nouvelles variantes qui permettent d'étendre le champ d'applications de XFEM standard, tout en bénéficiant des avantages des méthodes proposées précédemment. La première, Spider XFEM, consiste à remplacer la dépendance en thêta de l'enrichissement singulier exact par une approximation éléments finis calculé sur un maillage circulaire adapté. Dans la deuxième, Reduced Basis XFEM, on utilise, comme enrichissement singulier, une approximation éléments finis de toute la singularité, réalisée sur un maillage raffiné d'un domaine fissuré. Contrairement à XFEM standard, ces deux dernières permettent d'utiliser XFEM dans des cas où l'expression de la singularité est partiellement ou totalement inconnue, voire très compliqué. On démontre des résultats mathématiques de convergence optimale pour les variantes proposées. On réalise aussi différents tests numériques qui valident les résultats théoriques obtenues<br>In the first part of this thesis, we introduce two XFEM variants allowing to obtain optimal convergence results for XFEM with a reduced computational cost. The first one, the XFEM with a cutoff function, consists in the introduction of a globalized singular enrichment via a localization function around the crack tip. In the second variant, the singular enrichment is defined globally over a subdomain containing the crack tip. Then, this subdomain is bonded with the rest of the cracked domain using a weak integral matching condition. This approach enhances the approximation with respect to the first one. The second part is dedicated to the introduction of two other XFEM methods allowing to extend the application field of XFEM, while getting benefit of the advantages of the former variants. In the first one, the Spider XFEM, the dependence in theta of the exact singular enrichment is replaced by an approximation computed over an adapted circular mesh. Meanwhile, in the second approach, the reduced basis XFEM, an approximation of the whole singularity, computed on a very refined mesh of a cracked domain, is used as singular enrichment. These two variants allow to use XFEM in some cases when the singularity is partially or completely unknown, or even when it's exact expansion is complicated. We prove mathematical optimal convergence results for these approaches and we perform different numerical experiments that validate the theoretical study

L'hadronthérapie joue un rôle de plus en plus important au sein des techniques de radiothérapie grâce aux propriétés balistiques des ions et, dans le cas de ceux plus lourds que les protons, à une augmentation de l'efficacité biologique dans la région tumorale. Ces caractéristiques permettent une meilleure conformation de la dose délivrée au volume tumoral et elles permettent en particulier de traiter des tumeurs radio-résistantes. Elles conduisent cependant à une grande sensibilité du parcours des ions aux incertitudes du traitement. C'est dans ce contexte qu'a été proposée la détection de radiations secondaires émises lors des interactions nucléaires induites par les ions incidents dans le patient. La tomographie par émission de positons et la détection des rayons gamma prompts ont notamment fait l'objet d'une recherche intense ces dernières années. Le réseau de formation européen ENTERVISION, soutenu par la communauté ENLIGHT, a été crée fin 2009 pour développer ce type d'imagerie et, plus généralement, traiter les incertitudes de traitement en hadronthérapie. Le travail présenté dans ce manuscrit et intitulé ≪ Modélisation et simulation des processus physiques pour l'imagerie en ligne de l'hadronthérapie ≫ est l'un des nombreux travaux issus de ce projet. Bien que le sujet soit particulièrement large, le fil conducteur de ce travail a été une étude systématique visant in fine une implémentation d'un dispositif d'imagerie ≪ gamma prompts ≫ utilisable à la fois en faisceau de protons et d'ions carbone<br>Hadrontherapy is taking an increasingly important role in radiotherapy thanks to the ballistic properties of ions and, for those heavier than protons, an enhancement in the relative biological effectiveness in the tumour region. These features allow for a higher tumour conformality possible and gives the opportunity to tackle the problem of radioresistant tumours. However, they may lead to a great sensitivity of ion range to treatment uncertainties, namely to morphological changes along their path. In view of this, the detection of secondary radiations emitted after nuclear interactions between the incoming ions and the patient have been long proposed as ion range probes and, in this regard, positron emitters and prompt gammas have been the matter of intensive research. The European training network ENTERVISION, supported by the ENLIGHT community, was created in the end of 2009 in order to develop such imaging techniques and more generally to address treatment uncertainties during hadrontherapy. The present work is one of the many resulting from this project, under the subject “Modelling and simulation of physics processes for in-beam imaging in hadrontherapy”. Despite the extensive range of the topic, the purpose was always to make a systematic study towards the clinical implementation of a prompt-gamma imaging device to be used for both proton and carbon ion treatments