Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Suite aux réformes des marchés électriques, la question du market design, c’est-à-dire l’étude des nouveaux marchés destinés à remplacer l’ancien monopole, est devenue centrale dans la littérature économique. Toutefois, les caractéristiques techniques de l’électricité rendent cette tâche complexe et l’intervention des pouvoirs publics est souvent nécessaire pour établir les règles du jeu efficaces que les acteurs de marché devront suivre. Cela explique pourquoi le market design demeure un sujet d’actualité. Cette thèse contribue aux discussions actuelles en étudiant plusieurs architectures de marché à mettre en place afin d’assurer la fiabilité du système électrique de la façon la plus efficace.La fiabilité est d’abord étudiée sous sa dimension de court terme, appelée sûreté. Pour garantir un équilibre en temps réel, l’opérateur du système doit s’assurer de disposer d’un niveau suffisant de réserves: c’est l’objectif du modèle de sûreté. Dans cette thèse, les impacts économiques induits par un changement de modèle de sureté pour le système électrique français sont évalués. Une modélisation de type Agent-Based est développée pour simuler les décisions des acteurs sur plusieurs marchés de court terme. Les résultats montrent que le modèle de sureté français actuel conduit à des coûts inférieurs à ceux du modèle alternatif mis en œuvre dans d’autres pays européens. Le maintien du modèle actuel en France apparait donc justifié.La dimension long terme de la fiabilité, à savoir l’adéquation, est ensuite étudiée. Les performances économiques d’un marché de capacité et d’un mécanisme de réserve stratégique, deux solutions conçues pour résoudre le problème d’adéquation, sont comparées. Afin de considérer la nature cyclique des investissements, ces mécanismes sont étudiés d’un point de vue dynamique par l’intermédiaire d’une modélisation de type System Dynamics. Celle-ci simule les décisions d'investissements et de fermetures prises par les acteurs de marché, en considérant leurs comportements imparfaits. Les principaux résultats montrent que le marché de capacité résout la question de l'adéquation à un coût moindre. / Following power market reforms, market design, i.e. the study of new markets to replace efficiently the previous monopoly, becomes central in the economic literature. However, due to several technical characteristics of electricity, this task is complex. A third party is then required to help design these markets in an efficient way and to set the rules under which private decentralized market players will interact. This complexity explains why market design remains a work in progress. This thesis contributes to the current discussions by giving insights on the most efficient market designs to implement to ensure the reliability of power systems.A first focus is made on the short-term dimension of reliability, i.e. the security of power systems. To maintain a balanced system, the system operator has to ensure the availability of a sufficient level of reserves in real time: this is the aim of the security model. In this thesis, a quantitative assessment of the economic impacts that a transition to a different security model would have for the French power system is carried out. An agent-based modelling is developed to simulate the decisions of profit-maximizing players on several short-term markets. Simulations show that the current French security model results in lower costs than the alternative one implemented in several European countries, and should therefore be maintained for the French power system.A second focus is made on the long-term dimension of reliability, i.e. the adequacy. The economic performances of a capacity market and a strategic reserve mechanism, two mechanisms designed to solve the adequacy issue, are compared. In order to capture the cyclical nature of investments, these mechanisms are studied from a dynamic point of view. To this end, a long-term model is developed based on a System Dynamics approach. It simulates the investment and shutdown decisions made by market players considering their imperfect behaviours. Main results show that the capacity market solves the adequacy issue at a lower cost than the strategic reserve mechanism.

Cette thèse présente différentes notions d'observation en sémantique, et quelques résultats sur leurs relations. Après avoir rappelé les définitions du lambda-calcul simplement typé et de ses modèles, nous présentons la notion d'observation définie par un modèle. Dans une première partie, nous présentons les liens entre cette notion et la définissabilité relative, en prenant les exemples de PCF unaire, de PCF finitaire et du modèle fortement stable de PCF, en étendant des travaux de Bucciarelli, Malacaria et Longley.<br />La partie suivante est consacrée à l'étude de la notion d'observation dans le cadre d'un langage avec des effets de bord. Nous proposons un modèle basé sur les domaines de Fraenkel-Mostowski, sur lequel nous définissons des relations logiques pour prouver des équivalences, aui servent à distinguer la partie publique de la mémoire de la partie secrète où les invariants sont préservés; ce qui établit un lien avec les problématiques de sécurité.<br />Enfin, nous étudions la question du temps d'exécution en sémantique dénotationnelle. Nous proposons une construction axiomatique, basée sur une monade, pour représenter le te,ps d'exécution sans le rendre observable par le contexte. Nous appliquons cette construction au modèle des espaces de cohérence et aux jeux de Hyland et Ong. Nous prouvons que ce dernier modèle est complètement adéquat.

Cette thèse est consacrée à l'utilisation des ondelettes dans deux domaines à savoir la construction de bases sur l'intervalle et l'estimation du paramètre de longue mémoire par transformée (discrète) d'ondelettes. Dans un premier volet Nous présentons des constructions générales d'analyses multirésolution orthogonales (par une méthode directe) et biorthogonale sur l'intervalle (par la méthode d'intégration et de dérivation) .Comme applications, on étudie les espaces de Sobolev $H^{s}([0,1])$ et $H^{s}_{0}([0,1])$ pour $s\in\mathbb{N}$ . Le second volet est consacré à l'estimation du paramètre de longues ondelettes (non issues d'une analyse multirésolution) dans un cadre semi paramétrique. Les processus stationnaires à longue mémoire considérés sont du type gaussien puis linéaire. Pour chaque type de processus, on construit un estimateur adaptatif vérifiant un théorème limite central à vitesse de convergence au sens du minimax (à un logarithme prés). Les qualités statistiques de ces estimateurs (robustesses et consistances) sont vérifiées par des simulations et enfin un test d'adéquation est établi (considéré comme un test de longue mémoire dans le cas linéaire).

Les travaux présentés dans le cadre de cette Habilitation à Diriger des Recherches s'inscrivent principalement dans la problématique dite d'" Adéquation Algorithme Architecture ". Ils ont pour objectif commun la mise en œuvre de systèmes matériels et logiciels dédiés à la vision artificielle à fortes contraintes temporelles. Ils se focalisent sur différents aspects cruciaux tels que l'acquisition d'images par des capteurs dédiés, le développement et la programmation d'architectures optimisées de traitement des images et l'implantation d'algorithmes de traitement du signal et d'images en temps réel sur ces architectures.

Ce travail de thèse étudie l'apport à la vision bas-niveau des architectures de calcul massivement parallèles. Nous reprenons l'évolution récente de l'architecture des ordinateurs, en mettant en avant les solutions massivement parallèles qui se sont imposées récemment, les GPU. L'exploitation des potentialités de ces architectures impose une modification des méthodes de programmation. Nous montrons qu'il est possible d'utiliser un nombre restreint de schémas ("patterns") de calcul pour résoudre un grand nombre de problématiques de vision bas niveau. Nous présentons ensuite un nouveau modèle pour estimer la complexité de ces solutions. La suite du travail consiste à appliquer ces modèles de programmation à des problématiques de vision bas-niveau. Nous abordons d'abord le calcul du flot optique, qui est le champ de déplacement d'une image à une autre, et dont l'estimation est une brique de base de très nombreuses applications en traitement vidéo. Nous présentons un code sur GPU, nommé FOLKI qui permet d'atteindre une très bonne qualité de résultats sur séquences réelles pour un temps de calcul bien plus faible que les solutions concurrentes actuelles. Une application importante de ces travaux concerne la vélocimétrie par imagerie de particules dans le domaine de la mécanique des fluides expérimentale. La seconde problématique abordée est la super-résolution (SR). Nous proposons d'abord un algorithme très rapide de SR utilisant le flot optique FOLKI pour recaler les images. Ensuite différentes solutions à coût de calcul croissant sont développées, qui permettent une amélioration de précision et de robustesse. Nous présentons des résultats très originaux de SR sur des séquences affectées de mouvement complexes, comme des séquences de piétons ou des séquences aériennes de véhicules en mouvement. Enfin le dernier chapitre aborde rapidement des extensions en cours de nos travaux à des contextes de mesure 3D, dans des domaines comme la physique expérimentale ou la robotique.

Initialement con¸cu pour d'echarger le CPU des tˆaches de rendu graphique, le GPU estdevenu une architecture massivement parall'ele adapt'ee au traitement de donn'ees volumineuses.Alors qu'il occupe une part de march'e importante dans le Calcul Haute Performance, uned'emarche d'Ad'equation Algorithme Architecture est n'eanmoins requise pour impl'ementerefficacement un algorithme sur GPU.La contribution de cette th'ese est double. Dans un premier temps, nous pr'esentons legain significatif apport'e par l'impl'ementation optimis'ee d'un algorithme de granulom'etrie(l'ordre de grandeur passe de l'heure 'a la minute pour un volume de 10243 voxels). Un mod'eleanalytique permettant d''etablir les variations de performance de l'application de granulom'etriesur GPU a 'egalement 'et'e d'efini et pourrait ˆetre 'etendu 'a d'autres algorithmes r'eguliers.Dans un second temps, un outil facilitant le d'eploiement d'applications de Traitementdu Signal et de l'Image sur cluster multi-GPU a 'et'e d'evelopp'e. Pour cela, le champ d'actiondu programmeur est r'eduit au d'ecoupage du programme en tˆaches et 'a leur mapping sur les'el'ements de calcul (GPP ou GPU). L'am'elioration notable du d'ebit sortant d'une applicationstreaming de calcul de carte de saillence visuelle a d'emontr'e l'efficacit'e de notre outil pourl'impl'ementation d'une solution sur cluster multi-GPU. Afin de permettre un 'equilibrage decharge dynamique, une m'ethode de migration de tˆaches a 'egalement 'et'e incorpor'ee 'a l'outil.

Initialement con¸cu pour d´echarger le CPU des tˆaches de rendu graphique, le GPU estdevenu une architecture massivement parall`ele adapt´ee au traitement de donn´ees volumineuses.Alors qu’il occupe une part de march´e importante dans le Calcul Haute Performance, uned´emarche d’Ad´equation Algorithme Architecture est n´eanmoins requise pour impl´ementerefficacement un algorithme sur GPU.La contribution de cette th`ese est double. Dans un premier temps, nous pr´esentons legain significatif apport´e par l’impl´ementation optimis´ee d’un algorithme de granulom´etrie(l’ordre de grandeur passe de l’heure `a la minute pour un volume de 10243 voxels). Un mod`eleanalytique permettant d’´etablir les variations de performance de l’application de granulom´etriesur GPU a ´egalement ´et´e d´efini et pourrait ˆetre ´etendu `a d’autres algorithmes r´eguliers.Dans un second temps, un outil facilitant le d´eploiement d’applications de Traitementdu Signal et de l’Image sur cluster multi-GPU a ´et´e d´evelopp´e. Pour cela, le champ d’actiondu programmeur est r´eduit au d´ecoupage du programme en tˆaches et `a leur mapping sur les´el´ements de calcul (GPP ou GPU). L’am´elioration notable du d´ebit sortant d’une applicationstreaming de calcul de carte de saillence visuelle a d´emontr´e l’efficacit´e de notre outil pourl’impl´ementation d’une solution sur cluster multi-GPU. Afin de permettre un ´equilibrage decharge dynamique, une m´ethode de migration de tˆaches a ´egalement ´et´e incorpor´ee `a l’outil. / Originally designed to relieve the CPU from graphics rendering tasks, the GPU has becomea massively parallel architecture suitable for processing large amounts of data. While it haswon a significant market share in the High Performance Computing domain, an Algorithm-Architecture Matching approach is still necessary to efficiently implement an algorithm onGPU.The contribution of this thesis is twofold. Firstly, we present the significant gain providedby the implementation of a granulometry optimized algorithm (computation time decreasesfrom several hours to less than minute for a volume of 10243 voxels). An analytical modelestablishing the performance variations of the granulometry application is also presented. Webelieve it can be expanded to other regular algorithms.Secondly, the deployment of Signal and Image processing applications on multi-GPUcluster can be a tedious task for the programmer. In order to help him, we developped alibrary that reduces the scope of the programmer’s contribution in the development. Hisremaining tasks are decomposing the application into a Data Flow Graph and giving mappingannotations in order for the tool to automatically dispatch tasks on the processing elements(GPP or GPU). The throughput of a visual sailency streaming application is then improvedthanks to the efficient implementation brought by our tool on a multi-GPU cluster. In orderto permit dynamic load balancing, a task migration method has also been incorporated into it.

Cette thèse s'inscrit dans le cadre de la conception des systèmes mécatroniques et porte, plus particulièrement, sur le dimensionnement de chaînes d'actionnement et les méthodes à mettre en œuvre pour satisfaire le cahier des charges et réduire au mieux le temps de développement. Afin de suivre l'évolution du marché et faire face à la concurrence croissante, les concepteurs ont eu recours au cycle de conception en Vet au prototypage virtuel. Pour réduire davantage la durée du processus de conception, la formulation du problème de conception sous la forme d'un problème inverse est une solution intéressante. Dans ce contexte, le laboratoire Ampère propose une méthodologie de dimensionnement par modèles bond graph inverses. Ainsi, l’objectif de cette thèse est de contribuer au développement de cette méthodologie d'une part dans sa phase de vérification de l'adéquation des spécifications du cahier des charges à la structure retenue pour le modèle de conception et, d'autre part, par la prise en compte des tolérances dans le problème de conception. Pour la phase de vérification de l'adéquation spécifications/structure, le mémoire présente tout d'abord, l’analyse structurelle du cahier des charges qui permet de vérifier, avant toute simulation et à partir du modèle bond graph, si le problème de conception par modèle inverse est bien posé. Différents niveaux d’analyse sont supposés pour renforcer la démarche chronologique du travail de conception ou de reconception proposée par la méthodologie de dimensionnement. Ensuite, ces niveaux d'analyse sont mis à profit pour définir une procédure de vérification de l'adéquation des spécifications, définies sous forme de comportements type, au modèle de conception. En cas d'inadéquation, des recommandations pour la remise en question des spécifications ou de la structure du modèle de conception sont proposées et ce, selon le niveau d'analyse considéré. Au niveau de l'analyse numérique (le niveau d'analyse le plus bas), cette procédure peut être utilisée pour la synthèse paramétrique ou encore pour la synthèse de tolérance en cas de prise en compte des incertitudes dans le problème de conception. Concernant cet aspect, le mémoire présente également une contribution à la représentation des incertitudes paramétriques dans le formalisme bond graph, formalisme de base de la méthodologie de dimensionnement. Enfin, l'approche probabiliste est utilisée pour la modélisation des incertitudes dans la démarche de dimensionnement des systèmes dynamiques par inversion des modèles bond graph : les deux cas d'inversion, entrées/sorties d'une part (pour la remontée de spécifications), et paramètres/sorties d'autre part (pour la synthèse de tolérances paramétriques), sont abordés. Les règles d'exploitation d'un modèle bond graph probabiliste permettant la propagation des fonctions de densité de probabilité et des grandeurs caractéristiques(espérance et variance) tout le long de la structure énergétique du système sont proposées et illustrées par un exemple. / No abstract

Les objectifs de ce travail étaient d’évaluer la prévalence vie entière des traitements à visée psychotrope et les caractéristiques associées à cet usage dont l’adéquation avec l’existence de troubles psychiatriques. Les travaux ont été réalisés à partir des données issues de l’enquête Santé Mentale en Population Générale sur un échantillon de 36 785 adultes représentatifs de la population générale française. Un tiers des sujets a rapporté avoir fait usage d’au moins un traitement psychotrope au cours de la vie. L’inadéquation diagnostic-traitement est retrouvée dans le sens « usage en l’absence de trouble psychiatrique » aussi bien que dans le sens « absence d’usage en présence de trouble identifié ». Ainsi, seul un tiers des sujets avec un diagnostic de trouble dépressif récurrent a fait usage d’un traitement antidépresseur ou thymorégulateur. Concernant l’utilisation de traitements alternatifs, seuls 1,3 % des personnes rapportent un usage de traitement homéopathique à visée psychotrope. Ces traitements sont principalement utilisés par des personnes présentant un trouble anxieux en association avec un traitement psychotrope conventionnel. Des études ultérieures documentant l’ensemble des traitements à visée psychotrope utilisé dans le traitement des symptômes psychiques permettraient d’affiner les résultats sur l’adéquation diagnostic-traitement et d’estimer le nombre de sujets évitant le recours aux traitements conventionnels par l’utilisation d’alternatives thérapeutiques. / The aims of this work were to assess the lifetime prevalence of psychotropic drug use and the characteristics associated with use, particularly the congruence with psychiatric diagnoses. The studies were performed using the database from the survey Mental Health in the General Population including 36 785 persons representative of the French general population. One out of three subjects reported a lifetime use of psychotropic treatment. The non-congruence between diagnosis and psychotropic drug was observed in the pattern “use without psychiatric disorders” as well as in the pattern “no use with psychiatric disorders”. So, only one out of three persons with recurrent major depressive disorder reported having used an antidepressant or a mood stabilizer. Regarding complementary and alternative medicine use, only 1,3% of persons reported use of homeopathic treatment for psychiatric symptoms. These treatments were mainly used by persons with anxiety symptoms in association with conventional psychotropic drugs. Further studies assessing the all the treatments used for psychiatric symptoms would allow to refine the results on the congruence between diagnosis and psychotropic drug and to estimate the number of persons avoiding use of conventional psychotropic drugs by using complementary and alternative medicine.