Dans cette thèse, nous nous intéressons au problème de recherche incrémentale de motifs dans des séquences fortement similaires (On-line Pattern Matching on Highly Similar Sequences), issues de technologies de séquençage à haut débit (SHD). Ces séquences ne diffèrent que par de très petites quantités de variations et présentent un niveau de similarité très élevé. Il y a donc un fort besoin d'algorithmes efficaces pour effectuer la recherche rapide de motifs dans de tels ensembles de séquences spécifiques. Nous développons de nouveaux algorithmes pour traiter ce problème. Cette thèse est répartie en cinq parties. Dans la première partie, nous présentons un état de l'art sur les algorithmes les plus connus du problème de recherche de motifs et les index associés. Puis, dans les trois parties suivantes, nous développons trois algorithmes directement dédiés à la recherche incrémentale de motifs dans un ensemble de séquences fortement similaires. Enfin, dans la cinquième partie, nous effectuons une étude expérimentale sur ces algorithmes. Cette étude a montré que nos algorithmes sont efficaces en pratique en terme de temps de calcul / In this thesis, we are interested in the problem of on-line pattern matching in highly similar sequences, On-line Pattern Matching on Highly Similar Sequences, outcoming from Next Generation Sequencing technologies (NGS). These sequences only differ by a very small amount. There is thus a strong need for efficient algorithms for performing fast pattern matching in such specific sets of sequences. We develop new algorithms to process this problem. This thesis is partitioned into five parts. In the first part, we present a state of the art on the most popular algorithms of finding problem and the related indexes. Then, in the three following parts, we develop three algorithms directly dedicated to the on-line search for patterns in a set of highly similar sequences. Finally, in the fifth part, we conduct an experimental study on these algorithms. This study shows that our algorithms are efficient in practice in terms of computation time.

Les modèles incrémentaux sont des modèles statistiques qui ont été développés initialement dans le domaine du marketing. Ils sont composés de deux groupes, un groupe contrôle et un groupe traitement, tous deux comparés par rapport à une variable réponse binaire (le choix de réponses est « oui » ou « non »). Ces modèles ont pour but de détecter l’effet du traitement sur les individus à l’étude. Ces individus n’étant pas tous des clients, nous les appellerons : « prospects ». Cet effet peut être négatif, nul ou positif selon les caractéristiques des individus composants les différents groupes. Ce mémoire a pour objectif de comparer des modèles incrémentaux d’un point de vue bayésien et d’un point de vue fréquentiste. Les modèles incrémentaux utilisés en pratique sont ceux de Lo (2002) et de Lai (2004). Ils sont initialement réalisés d’un point de vue fréquentiste. Ainsi, dans ce mémoire, l’approche bayésienne est utilisée et comparée à l’approche fréquentiste. Les simulations sont e ectuées sur des données générées avec des régressions logistiques. Puis, les paramètres de ces régressions sont estimés avec des simulations Monte-Carlo dans l’approche bayésienne et comparés à ceux obtenus dans l’approche fréquentiste. L’estimation des paramètres a une influence directe sur la capacité du modèle à bien prédire l’effet du traitement sur les individus. Nous considérons l’utilisation de trois lois a priori pour l’estimation des paramètres de façon bayésienne. Elles sont choisies de manière à ce que les lois a priori soient non informatives. Les trois lois utilisées sont les suivantes : la loi bêta transformée, la loi Cauchy et la loi normale. Au cours de l’étude, nous remarquerons que les méthodes bayésiennes ont un réel impact positif sur le ciblage des individus composant les échantillons de petite taille. / Uplift modelling is a statistical method initially developed in marketing. It has two groups (a control group and a treatment group) that are compared using a binary response variable (the response can be « yes » or « no »). The goal of this model is to detect the treatment e ect on prospects. This e ect can be either negative, null or positive. It depends on characteristics of each individual in each group. The purpose of this master thesis is to compare the Bayesian point of view with the frequentist one on uplift modelling. The uplift models used in this thesis are Lo model (2002) and Lai model (2004). Both of them are originally modeled using the frequentist point of view. Therefore, the Bayesian approach is modeled and compared to the frequentist one. Simulations are done on generated data from logistic regressions. Then regression parameters are estimated with Monte- Carlo simulations for Bayesian approach. They are then compared to parameter estimations from the frequentist approach. Parameter estimations have direct influences on the ability of the modelling to predict treatment e ect on individual. Three priors are considered for the Bayesian estimation of the parameters. These densities are chosen such that they are non-informative. They are the following : transformed beta, Cauchy and normal. In the course of the study, we will notice the Bayesian method has a real positive impact on targeting individual from the small size sample.

Lorsqu’on fait face à des systèmes non linéaires, les notions classiques de stabilité ne suffisent pas à garantir un comportement approprié vis-à-vis de problématiques telles que le suivi de trajectoires, la synchronisation et la conception d’observateurs. La stabilité incrémentale a été proposée en tant qu’outil permettant de traiter de tels problèmes et de garantir que le système présente des comportements qualitatifs pertinents. Cependant, comme c’est souvent le cas avec les systèmes non linéaires, la complexité de l’analyse conduit les ingénieurs à rechercher des relaxations, ce qui introduit du conservatisme. Dans cette thèse, nous nous intéressons à la stabilité incrémentale d’une classe spécifique de systèmes, à savoir les systèmes affines par morceaux, qui pourraient fournir un outil avantageux pour aborder la stabilité incrémentale de systèmes dynamiques plus génériques.Les systèmes affines par morceaux ont un espace d’états partitionné, et sa dynamique dans chaque région est régie par une équation différentielle affine. Ils peuvent représenter des systèmes contenant des non linéarités affines par morceaux, ainsi que servir comme des approximations de systèmes non linéaires plus génériques. Ce qui est plus important, leur description est relativement proche de celle des systèmes linéaires, ce qui permet d’obtenir des conditions d’analyse exprimées comme des inégalités matricielles linéaires qui peuvent être traités numériquement de façon efficace par des solveurs existants.Dans la première partie de ce document de thèse, nous passons en revue la littérature sur l’analyse des systèmes affines par morceaux en utilisant des techniques de Lyapunov et la dissipativité. Nous proposons ensuite de nouvelles conditions pour l’analyse du gain L2 incrémental et la stabilité asymptotique incrémentale des systèmes affines par morceaux exprimés en tant qu’inégalités matricielles linéaires. Ces conditions sont montrées être moins conservatives que les résultats précédents et sont illustrées par des exemples numériques.Dans la deuxième partie, nous considérons le cas des systèmes affines par morceaux incertains représentés comme l’interconnexion entre un système nominal et un bloc d’incertitude structuré. En utilisant la théorie de la séparation des graphes, nous proposons des conditions qui étendent le cadre des contraintes quadratiques intégrales afin de considérer le cas où le système nominal est affine par morceaux, à la fois dans les cas non incrémental et incrémental. Via la théorie de la dissipativité, ces conditions sont ensuite exprimées en tant qu’inégalités matricielles linéaires.Finalement, la troisième partie de ce document de thèse est consacrée à l’analyse de systèmes non linéaires de Lur’e incertains. Nous développons une nouvelle technique d’approximation permettant de réécrire ces systèmes de façon équivalente comme des systèmes affines par morceaux incertains connectés avec l’erreur d’approximation. L’approche proposée garantit que l’erreur d’approximation est Lipschitz continue avec la garantie d’une borne supérieure prédéterminée sur la constante de Lipschitz. Cela nous permet d’utiliser les techniques susmentionnées pour analyser des classes plus génériques de systèmes non linéaires. / When dealing with nonlinear systems, regular notions of stability are not enough to ensure an appropriate behavior when dealing with problems such as tracking, synchronization and observer design. Incremental stability has been proposed as a tool to deal with such problems and ensure that the system presents relevant qualitative behavior. However, as it is often the case with nonlinear systems, the complexity of the analysis leads engineers to search for relaxations, which introduce conservatism. In this thesis, we focus on the incremental stability of a specific class of systems, namely piecewise-affine systems, which could provide a valuable tool for approaching the incremental stability of more general dynamical systems.Piecewise-affine systems have a partitioned state space, in each region of which the dynamics are governed by an affine differential equation. They can represent systems containing piecewise-affine nonlinearities, as well as serve as approximations of more general nonlinear systems. More importantly, their description is relatively close to that of linear systems, allowing us to obtain analysis conditions expressed as linear matrix inequalities that can be efficiently handled numerically by existing solvers.In the first part of this memoir, we review the literature on the analysis of piecewise-affine systems using Lyapunov and dissipativity techniques. We then propose new conditions for the analysis of incremental L2-gain and incremental asymptotic stability of piecewise-affine systems expressed as linear matrix inequalities. These conditions are shown to be less conservative than previous results and illustrated through numerical examples.In the second part, we consider the case of uncertain piecewise-affine systems represented as the interconnection between a nominal system and a structured uncertainty block. Using graph separation theory, we propose conditions that extend the framework of integral quadratic constraints to consider the case when the nominal system is piecewise affine, both in the non-incremental and incremental cases. Through dissipativity theory, these conditions are then expressed as linear matrix inequalities.Finally, the third part of this memoir is devoted to the analysis of uncertain Lur’e-type nonlinear systems. We develop a new approximation technique allowing to equivalently rewrite such systems as uncertain piecewise-affine systems connected with the approximation error. The proposed approach ensures that the approximation error is Lipschitz continuous with a guaranteed pre-specified upper bound on the Lipschitz constant. This enables us to use the aforementioned techniques to analyze more general classes of nonlinear systems.

Nous connaissons depuis plus d’un siècle des bouleversements climatiques, socio-économiques et sociétaux de plus en plus fréquents et intenses. L’adaptation à ce contexte incertain, pour envisager l’avenir de façon durable, est un défi particulièrement important. L’agriculture est au cœur de ce défi et de la réflexion sur les modes d’adaptation. Les anthropologues ont récemment identifié deux types de changements de l’agriculteur: le changement mineur (en accord avec le comportement normatif de référence), et le changement majeur (changement profond, remise en cause des normes majoritaires permettant l’adoption de comportements innovants). Ces deux types de changement sont très proches de l’adaptation incrémentale et de l’adaptation transformationnelle qui sont définis tant pour des individus que pour des institutions locales, nationales ou internationales … Nous proposons un modèle individu-centré de l’adaptation des agriculteurs qui intègre dynamiquement changements mineurs et majeurs, en nous focalisant sur la dimension psycho-sociale de ces changements. Nous appliquons notre modèle à la question, de la conversion à l’agriculture biologique des éleveurs laitiers français. Cette transition a en effet été généralement caractérisée comme un changement majeur, ou une adaptation transformationnelle, et s’avère donc pertinente pour tester notre modèle. Le modèle d’agriculteur est en général dans un régime stable durant lequel seuls des changements mineurs sont opérés. Ces changements sont menés en imitant des comportements adoptés par les agriculteurs les plus crédibles. La crédibilité d’un agriculteur pour un autre est d’autant plus forte que son volume produit est supérieur à celui de cet agriculteur. Ces changements se traduisent concrètement par des modifications des volumes produits qui correspondent à des choix de pratiques plus ou moins intensifs.Le modèle peut passer d’un régime stable à un autre en transitant par un changement majeur impliquant de changer la hiérarchie des importances, accordées aux dimensions « productiviste » et « environnementale », qui pondèrent son évaluation des résultats de son mode de production (par exemple : conventionnel ou biologique). Le calcul de son évaluation utilise la théorie de l’action raisonnée. Il permet à l’agriculteur de déterminer sa satisfaction, à partir de ses résultats précédents, et de ses résultats comparés à ceux de ses pairs crédibles, en tenant compte de l’importance accordées à chaque dimension d’évaluation. Lorsqu’un agriculteur est insatisfait de son mode de production courant, il évalue sa satisfaction potentielle pour un autre mode de production, et adopte ce dernier si son gain de satisfaction est supérieur à un seuil. Il change alors la hiérarchie des importances accordées à ses dimensions d’évaluation pour être en accord avec le mode adopté. Un agriculteur biologique accordera ainsi par exemple une importance plus forte à la dimension environnementale qu’à la dimension productiviste. Ce changement implique alors une réévaluation tant de la crédibilité de ses pairs que de leurs pratiques. (...) / For more than a century, climatic, socio-economic and societal changes are more and more frequent and intense. Adapting to this uncertain context to envisage a sustainable future is a particularly important challenge. Agriculture is at the heart of this challenge and the reflection on the modes of adaptation. Anthropologists have recently identified two types of farmer changes: minor change (consistent with normative behavior), and major change (deep change, challenge the majority norms allowing adoption of innovative behaviors). These two types of change are very close to the incremental adaptation and the transformational adaptation that are defined for individuals as well as for local, national or international institutions.We propose an individual-based model to study farmers’ adaptations that dynamically integrates minor and major changes. We focus on the social-psychological dimension of these changes. Our model is applied to the question of French dairy farmers’ conversions to organic farming. This transition has been characterized as a major change, or a transformational adaptation, and is therefore relevant to test our model.A farmer stays generally in a stable regime doing only minor changes. These changes are carried out by imitating the practices of the most credible farmers. The credibility of one farmer given to another is larger if his (her) produced volume is greater than that of this farmer. These changes are shown by concrete changes of produced volumes, which correspond to more or less intensive choices of practice.In the model, a farmer passes from one stable regime to another through a major change involving a change of his (her) hierarchy of importance over the "productivist" and "environmental" evaluative dimensions. The importance weights his (her) evaluation of the results according to the mode of production (for example: conventional or organic). The computation of the evaluation is based on the theory of reasoned action. This evaluation shows a farmer’s satisfaction that is based on his (her) previous results and his (her) results compared to those of his (her) credible peers, taking into account the importance given to each dimension of evaluation. When a farmer is dissatisfied with his (her) current mode of production, he (she) evaluates his (her) potential satisfaction with another mode of production, and adopts the latter if his (her) satisfaction gain is above a threshold. He (she) then changes the importance hierarchy given to the evaluation dimensions to be in agreement with the adopted mode. For example, an organic farmer will given more importance to the environmental dimension than to the productivist dimension. This change implies a reassessment of both the credibility given to his (her) peers and their practices. (...)

Ce travail s'inscrit dans la recherche en acquisition des connaissances et en apprentissage automatique pour la modélisation et la validation incrémentale de connaissances de résolution de problème. Nous proposons un modèle simple de représentation des connaissances opératoires qui s'appuie sur la notion de situation, et présentons un outil de modélisation incrémentale et de révision coopérative pour les Bases de Connaissances (BC) exprimées dans cette représentation. Cet outil a été mis au point dans le cadre d'un projet de conception de dialogues télématiques personnalisés. Dans notre modèle, chaque étape intermédiaire de résolution du problème est représentée explicitement dans le SBC sous la forme d'un objet simple et compréhensible appelé "nodule de situation". Les corrections et enrichissements de la BC sont effectués de manière incrémentale, c'est-à-dire au fur et à mesure de la découverte de cas mal résolus, et coopérative, c'est-à-dire en s'appuyant sur un utilisateur / concepteur de la BC compétent dans le domaine. Les caractéristiques de notre approche, que nous proposons de baptiser "révision située", sont les suivantes : l'objectif est de faire en sorte que le processus de révision de la BC soit facile pour l'utilisateur, basé sur des cas concrets, et opérant des corrections "prudentes" et validées. L'outil REVINOS a été développé dans cette optique. Chaque phase de révision coopérative contient une étape de modélisation ou de réutilisation d'objets de la BC, à la charge du concepteur, puis une étape de correction proprement dite, effectuée de manière semi-automatique. REVINOS guide le concepteur tout au long du processus de révision et propose des généralisations à des cas concrets similaires. REVINOS offre l'originalité de chercher à valider les répercussions des corrections proposées, en soumettant au concepteur des exemples abstraits qui correspondent à des ensembles de cas concrets de résolution.

Dans cette thèse, on s'est intéressé à l'étude des canaux de diffusion avec des contraintes de transmission pratiques. Tout d'abord, on a étudié l'impact de la contrainte pratique de l'utilisation d'un alphabet fini à l'entrée du canal de diffusion Gaussien avec deux utilisateurs. Deux modèles de canaux de diffusion sont considérés lorsqu'il y a, en plus d'un message commun pour les deux utilisateurs, (i) un message privé pour l'un des deux utilisateurs sans contrainte de sécurité (ii) un message confidentiel pour l'un des deux utilisateurs qui doit être totalement caché de l'autre utilisateur. On a présenté plusieurs stratégies de diffusion distinguées par leur complexité d'implémentation. Plus précisément, on a étudié les régions des débits atteignables en utilisant le partage de temps, la superposition de modulation et le codage par superposition. Pour la superposition de modulation et le cas général du codage par superposition, les régions des débits atteignables maximales sont obtenues en maximisant par rapport aux positions des symboles dans la constellation et la distribution de probabilité jointe. On a étudié le compromis entre la complexité d'implémentation des stratégies de transmission et leurs efficacités en termes de gains en débits atteignables. On a étudié aussi l'impact de la contrainte de sécurité sur la communication en comparant les débits atteignables avec et sans cette contrainte. Enfin, on a étudié les performances du système avec des schémas d'accusés de réception hybrides (HARQ) pour un canal à écoute à évanouissement par blocs lorsque l'émetteur n'a pas une information parfaite sur l'état instantané du canal mais connait seulement les statistiques. On a considéré un schéma adaptatif pour la communication sécurisée en utilisant des canaux de retour à niveaux multiples vers l'émetteur pour changer la longueur des sous mots de code à chaque retransmission afin que le débit utile secret soit maximisé sous des contraintes d'"outages".

Le laminage transversal, procédé de mise en forme des métaux essentiellement développé " à chaud ", permet d'obtenir des bruts de haut niveau de qualité en réalisant un gain notoire sur l'engagement matière face à d'autres procédés. Les travaux de thèse dressent l'état de l'art de cette technologie complexe et mal connue en France ; ils s'appuient sur une bibliographie dense et diversifiée pour synthétiser les lois qui régissent ce procédé et identifier les paramètres significatifs. Les conditions du contact pièce/outil étant prépondérantes, la mesure de la pression de contact est développée sur des matrices instrumentées afin de caractériser la sévérité des efforts. Des préformes en acier, titane et alliage base cuivre-aluminium avec simple réduction de diamètre sont fabriquées pour mettre en évidence les spécificités du contact pièce-matrice au niveau tribologique et rhéologique. En vue de démontrer que la condition d'entrainement en rotation des pièces est un facteur clé de pilotage du procédé, de nombreux essais expérimentaux pointent le rôle de la texture de surface pour l'obtention de pièces sans défaut, ainsi que son influence sur l'histoire thermomécanique interne. Les nombreuses difficultés liées à la mise au point d'outillages sont identifiées sur la base d'observations expérimentales et ensuite intégrées dans une démarche de conception d'outillage. Une procédure de conception d'outillage est ainsi proposée en s'appuyant sur une synthèse de règles issues de la bibliographie ainsi que de règles déterminées par les travaux expérimentaux. Une étude de cas sur une préforme " balustre " est traitée ; elle intègre la conception des matrices, la simulation numérique avec le logiciel FORGE© ainsi que les essais de mise au point d'outillage sur un banc développé à l'ENSAM. Une vision d'ensemble sur le procédé et les paramètres qui le gouvernent est finalement proposée.

Le présent travail porte sur l'étude expérimentale, analytique et numérique du comportement mécanosorptif et viscoélastique couplé du bois. Le comportement mécanosorptif intègre notamment le phénomène hygroverrou qui se caractérise par un blocage des déformations en phase de séchage sous contrainte. Afin d'aborder cette étude, la structure, la microstructure ainsi que le comportement hydromécanique du bois sont rappelés. Parallèlement, la théorie de la viscoélasticité linéaire ainsi que les méthodes analytiques propres à la résolution de tels problèmes sont présentées. Ensuite, des essais mécanosorptifs préliminaires de caractérisation des propriétés mécaniques sont effectués sur du Sapin Blanc (Abies alba Mill.) du Massif central grâce à un dispositif expérimental approprié. La description du dispositif expérimental, du protocole utilisé ainsi que les dimensions des échantillons testés sont présentées. Des essais mécanosorptifs en relaxation et en fluage sous chargement et humidité relative variables sont également effectués. En particulier, deux essais en relaxation sous déformation imposée constante et humidité relative variable et un essai de fluage sous contrainte et humidité relative variables de façon cyclique, sont exposés. Sur la base des données issues des essais préliminaires et viscoélastiques, la déformation hygroverrou est isolée via la partition de la déformation selon des parts élastique, visqueuse et hydrique. Par la suite, un modèle analytique est proposé pour la modélisation de la déformation hygroverrou. Un modèle pseudo élastique, basé sur les lois de Hooke (en humidification) et de Hooke restreint (en séchage), est formulé en rigidité et en complaisance. Dans ce cas, plusieurs modèles rhéologiques viscoélastiques mécanosorptifs sont proposés. Ces modèles sont classés en fonction du couplage de leurs effets et du principe de partition formulés en contrainte ou en déformation. Des lois de comportement basées sur ces modèles et formulées sous forme d'équations intégrales et incrémentales adaptées à la mise en oeuvre numérique sont finalement développées. Enfin, des exemples illustratifs montrent l'équivalence des deux expressions pseudo élastiques formulées en rigidité et en complaisance ; parallèlement, une validation des modèles viscoélastiques mécanosorptifs proposés, en relaxation et en fluage, par comparaison aux résultats expérimentaux est effectuée. Ces résultats montrent l'efficacité des modèles établis ainsi que la pertinence des essais expérimentaux réalisés pour la mise en évidence et la prise en compte des comportements mécanosorptif et viscoélastique couplés.

Les estimations précises des états de charge (« State of Charge » - SoC) et de santé (« State of Health » - SoH) des batteries au lithium sont un point crucial lors d’une utilisation industrielle de celles-ci. Ces estimations permettent d’améliorer la fiabilité et la robustesse des équipements embarquant ces batteries. Cette thèse CIFRE est consacrée à la recherche d’algorithmes de détermination de l’état de santé de batteries lithium-ion, en particulier de chimie Lithium Fer Phosphate (LFP) et Lithium Manganèse Oxyde (LMO).Les recherches ont été orientées vers des solutions de détermination du SoH directement embarquables dans les calculateurs des véhicules électriques. Des contraintes fortes de coût et de robustesse constituent ainsi le fil directeur des travaux.Or, si la littérature actuelle propose différentes solutions de détermination du SoH, celles embarquées ou embarquables sont encore peu étudiées. Cette thèse présente donc une importante revue bibliographique des différentes méthodes d’estimation du SoH existantes, qu’elles soient embarquables ou non. Le fonctionnement détaillé ainsi que les mécanismes de vieillissement d’une batterie lithium-ion sont également explicités.Une partie majoritaire des travaux est consacrée à l’utilisation de l’analyse incrémentale de la capacité (« Incremental Capacity Analysis » - ICA) en conditions réelles, c’est-à-dire avec les niveaux de courant présents lors d’un profil de mission classique d’un véhicule électrique, avec les mesures disponibles sur un BMS (« Battery Management System ») industriel et avec les contraintes de robustesses associées, notamment une gamme étendue de température de fonctionnement. L’utilisation de l’ICA pour déterminer la capacité résiduelle de la batterie est mise en œuvre de façon totalement innovante et permet d’obtenir une grande robustesse aux variations des conditions d’utilisation de la batterie.Une seconde méthode est, elle, dédiée à la chimie LMO et exploite le fait que le potentiel aux bornes de la batterie soit représentatif de son état de charge. Un compteur coulométrique partiel est ainsi proposé, intégrant une gestion dynamique des bornes d’intégration en fonction de l’état de la batterie.A l’issue des travaux, une méthode complète et précise de détermination du SoH est disponible pour chacune des chimies LFP et LMO. La détermination de la capacité résiduelle de ces deux familles de batteries est ainsi possible à 4 % près. / Accurate lithium-ion battery State of Charge (SoC) and State of Health (SoH) estimations are nowadays a crucial point, especially when considering an industrial use. These estimations enable to improve robustness and reliability of hardware using such batteries. This thesis focuses on researching lithium-ion batteries state of health estimators, in particular considering Lithium Iron Phosphate (LFP) and Lithium Manganese Oxide (LMO) chemistries.Researches have been targeted towards SoH estimators straight embeddable into electric vehicles (EV) computers. Cost and reliability constraints are thus the main guideline for this work.Although existing literature offers various SoH estimators, those who are embedded or embeddable are still little studied. A complete literature review about SoH estimators, embedded or not, is therefore proposed. Lithium-ion batteries detailed operation and ageing mechanisms are also presented.The main part of this work is dedicated to Incremental Capacity Analysis (ICA) use with electric vehicle constraints, such as current levels available with a typical EV mission profile or existing measurements on the Battery Management System (BMS). Incremental Capacity Analysis is implemented in an innovative way and leads to a remaining capacity estimator with a high robustness to conditions of use variations, including an extended temperature range.A second method, dedicated to LMO chemistry, take advantage of the fact that the battery potential is representative of its state of charge. Partial Coulomb counting is thus performed, with a dynamic management of integration limits, depending on the battery state.Outcomes of this work are two complete and accurate SoH estimators, one for each chemistry, leading to a remaining capacity estimation accurate within 4 %.

Les travaux de recherche présentés et discutés dans cette thèse s’intéressent aux grandes collections d’images numériques. Plus particulièrement, nous cherchons à donner à un utilisateur la possibilité d’explorer ces collections d’images, soit dans le but d’en extraire de l’information et de la connaissance, soit de permettre une certaine sérendipité dans l’exploration. Ainsi, cette problématique est abordée du point de vue de l’analyse et l’exploration interactive des données. Nous tirons profit du paradigme de navigation par similarité et visons à respecter simultanément les trois contraintes suivantes : (i) traiter de grandes collections d’images, (ii) traiter des collections dont le nombre d’images ne cesse de croître au cours du temps et (iii) donner des moyens d’explorer interactivement des collections d’images. Pour ce faire, nous proposons d’effectuer une étude conjointe de l’indexation et de la visualisation de grandes collections d’images qui s’agrandissent au cours du temps. / The research work that is presented and discussed in this thesis focuses on large and evergrowing image collections. More specifically, we aim at providing one the possibility to explore such image collections, either to extract some kind of information and knowledge, or to wander in the collections. This thesis addresses this issue from the perspective of Interactive Data Exploration and Analytics. We take advantage of the similarity-based image collection browsing paradigm and aim at meeting simultaneously the three following constraints: (i) handling large image collections, up to millions of images, (ii) handling dynamic image collections, to deal with ever-growing image collections, and (iii) providing interactive means to explore image collections. To do so, we jointly study the indexing and the interactive visualisation of large and ever-growing image collections.