L’analyse et la synthèse des systèmes dynamiques ont connu un développement important au cours des dernières décennies comme l’atteste le nombre considérable des travaux publiés dans ce domaine, et continuent d’être un axe de recherche régulièrement exploré. Si la plupart des travaux concernent les systèmes linéaires et non linéaires temps continu, peu de résultats ont étaient établis dans le cas temps discret. Les travaux de cette thèse portent sur l’observation et la commande d’une classe de systèmes non linéaires à temps discret. Dans un premier temps, le problème de synthèse d’observateur d’état utilisant une fenêtre de mesures glissante est abordé. Des conditions de stabilité et de robustesse moins restrictives sont déduites. Deux classes de systèmes non linéaires à temps discret sont étudiées : les systèmes de type Lipschitz et les systèmes « one-sided Lipschitz ». Ensuite, une approche duale a été explorée afin de déduire une loi de commande stabilisante basée sur un observateur. Les conditions d’existence d’un observateur et d’un contrôleur stabilisant les systèmes étudiés sont formulées sous forme d’un problème d’optimisation LMI. L’efficacité et la validité des approches présentées sont montrées à travers des exemples académiques / The analysis and synthesis of dynamic systems has undergone significant development in recent decades, as illustrated by the considerable number of published works in this field, and continue to be a research theme regularly explored. While most of the existing work concerns linear and nonlinear continuous-time systems, few results have been established in the discrete-time case. This thesis deals with the observation and control of a class of nonlinear discrete-time systems. First, the problem of state observer synthesis using a sliding window of measurements is discussed. Non-restrictive stability and robustness conditions are deduced. Two classes of discrete time nonlinear systems are studied: Lipschitz systems and one-side Lipschitz systems. Then, a dual approach was explored to derive a stabilizing control law based on observer-based state feedback. The conditions for the existence of an observer and a controller stabilizing the studied classes of nonlinear systems are expressed in term of LMI. The effectiveness and validity of the proposed approaches are shown through numerical examples

Dans le contexte actuel, la transformation de l’outil industriel par l’intermédiaire de nouveaux paradigmes de performance tels qu’Usine du Futur (Factory of the Future FoF), Industry 4.0 (I4.0) ou encore Smart Factory (SF) est au cœur des préoccupations actuelles des industriels. Les travaux présentés dans cette thèse portent sur la problématique de passage d’une situation spécifique existante (AS-IS) vers une situation cible type Usine du Futur (TO-BE) en prenant en compte la situation souhaitée AS-WISHED et les contraintes de ressources. Dans ce cadre, la principale contribution porte sur une approche reposant sur un modèle de co-évolution permettant de guider ce projet de transition au sein de l’organisation. Sur la base des travaux de Tolio et al. (2010), nous avons proposé un modèle de co-évolution amélioré en intégrant le niveau stratégique, le rôle du système d’information (SI) et celui de la place l’homme. Sur le plan théorique, le nouveau modèle de co-evolution aborde 3 domaines Produit/Production/SI qui sont structurés en deux niveaux d’analyse : externe (stratégique) et interne (structurel). L’ensemble de 6 sous-domaines comportent chacun 3 composants couvrant les choix relatifs à chaque sous-domaine et niveau d’analyse. Sur le plan managérial, la gestion de la co-évolution réside dans la modélisation des ces composants. Ensuite, nous caractérisons des liens de co-évolution existants entre les différents sous-domaines du modèle de co-évolution proposé. La démarche d’exploitation du modèle de co-évolution comporte trois étapes et considère les contraintes opérationnelles et les contraintes dites de co-évolution liées à la gestion des liens ou impacts entrant en jeu dans la co-évolution. Il permet de passer progressivement des modèles AS-IS et AS-WISHED pour aboutir à un modèle TO-BE. / Within the current context, the transformation of industries through new paradigms of performance such as The Factory of the Future (FoF), Industry 4.0 (I 4.0) or even The Smart Factory (SF) is at the heart of the industrials’ current concerns. The present work address the problem of the transition from a specific situation (AS-IS) to a target situation alike FoF (TO-BE) considering the desired situation AS-WISHED and the resources constraints. In this line of action, the main contribution concerns an approach based on a co-evolution model enabling to guide manufacturing industries to perform such a transition. Based on the work of Tolio et al. (2010), we propose an enhanced co-evolution model that integrates the strategic level of decisions, the information system role (IS) and the role of the human workforce. From the theoretical perspective, this new model consists in 3 domains: Product design/ Manufacturing/ IS which are structured into two levels of analysis: external (strategic) and internal (operational). The resulting structure of 6 sub-domains is in turn composed of 3 components covering the decisions related to each sub-domain and level of analysis. From the management perspective, the management of co-evolution relies on the modelling of their components. Hence, we exploit the modelling language constructs of the ISO 19440 (2007) standard for the internal components. Then, we characterize the existing co-evolution links between the different sub-domains of the proposed co-evolution model. At last, a 3 phase approach enabling to exploit the enhanced co-evolution model is proposed. It considers the feasibility constraints and the co-evolution constraints linked to the management of the links or impacts that came into play in the co-evolution. As such, it enables to work out progressively a feasible TO-BE model.

Introduction : Les droits en matière de santé sexuelle et reproductive (SSR) sont essentiels pour parvenir à une couverture sanitaire universelle pour tous, y compris les personnes handicapées. L'Ouganda a émergé d'un conflit armé de 20 ans qui a engendré à la fois des handicaps et des dommages aux systèmes de santé, en particulier au nord du pays. Une personne sur cinq vit avec un handicap en Ouganda où plusieurs lois et politiques ont été adoptées promouvant les droits des personnes handicapées. Or, leur accès aux services de SSR demeure limité. Les rôles genrés restent omniprésents et les hommes et les jeunes handicapés sont moins ciblés par les programmes de SSR (article 1). Les politiques de santé et leur mise en œuvre nécessitent donc une analyse contextuelle plus approfondie pour protéger le droit à la santé des personnes handicapées. Cette thèse visait à examiner les relations perçues et empiriques entre la législation, les politiques de santé et l'utilisation des services de SSR par les personnes handicapées dans la région post-conflit au nord l'Ouganda. Méthodes : Un devis séquentiel exploratoire de méthodes mixtes s'est appuyé sur le cadre d’analyse des politiques basée sur l'intersectionnalité (IBPA). 1) Nous avons mené une étude de cas multiples auprès de cinq groupes d'acteurs des politiques (personnes handicapées, prestataires de services, organisations de personnes handicapées, organisations nationales et internationales, et décideurs politiques nationaux), thématiquement analysé 45 entretiens approfondis et neuf groupes de discussion, et observé sept structures de santé en matière d'accessibilité. 2) Nous avons analysé des données secondaires provenant des enquêtes démographiques et sanitaires ougandaises de 2006, 2011 et 2016 à l'aide de régressions logistiques multivariées. Le but était d’analyser l'utilisation des services de SSR chez 15 739 personnes au cours de la décennie qui a suivi l'adoption de la Loi sur le handicap en Ouganda. 3) Une revue systématique a été réalisée pour examiner les relations entre la législation, les politiques de santé et l'utilisation des services de SSR parmi les populations vulnérables en Afrique subsaharienne (1994-2019). Résultats : Cette thèse met en exergue quatre résultats principaux. 1) Le cadre de l’IBPA a mis en évidence des relations complexes entre la législation, les politiques de santé et l'utilisation des services de SSR chez les personnes handicapées au nord de l'Ouganda. Ces relations ont été marquées par des défis de mise en œuvre des politiques, la violation des droits des personnes handicapées, et des vulnérabilités croisées vécues par les personnes handicapées, exacerbées par les structures de pouvoir sociétales sous-jacentes. Les perceptions des différents groupes d'acteurs des politiques convergeaient en soulignant les iniquités persistantes en matière de SSR auxquelles sont confrontées les personnes handicapées (articles 2 et 3). L'utilisation des services de SSR s’est accrue au fil du temps. Cependant, elle ne s'est pas améliorée de la même manière pour tous. L'évolution de l'utilisation des services de SSR sur une décennie a révélé des tendances d’utilisation des services nuancées chez les personnes vivant avec différentes incapacités; notamment, les femmes plus nanties avec une incapacité auditive étaient moins susceptibles d'avoir utilisé les services de maternité comparativement aux femmes pauvres non handicapées (article 4). 2) Les cinq groupes d’acteurs des politiques ont identifié des défis en matière de mise en œuvre des politiques et ont émis plusieurs recommandations concrètes et complémentaires pour lever les barrières et rendre opérationnelles les mesures transformatrices, telles que la budgétisation et la collecte de données sur le handicap (articles 2 et 3). 3) Les résultats au niveau local (Ouganda) ont permis de contextualiser ceux au niveau régional (Afrique subsaharienne), et vice versa. Une revue systématique sur une période de 25 ans a montré que les personnes handicapées restent dans l’angle mort de la recherche sur l'analyse des politiques en matière d’utilisation des services SSR (article 5). 4) La pratique de la réflexivité tout au long de la recherche a mis en lumière les tensions dans l'application des normes éthiques dans le contexte de la recherche qualitative en santé mondiale avec des personnes handicapées menée dans le Sud (article 6). Conclusion : Ces résultats permettent aux acteurs des politiques à différents niveaux d'agir – maintenant – pour aborder et corriger les iniquités sociales de santé vécues par les personnes handicapées. Le cadre de l'IBPA s'est avéré un outil analytique et théorique utile pour mieux comprendre les questions complexes liées aux politiques et aux vulnérabilités intersectionnelles auxquelles font face les personnes handicapées. Ce cadre pourrait enrichir d’autres cadres existants d’analyse des politiques. La thèse propose deux adaptations théoriques, soit le cadre du IBPA combiné au « Multiple Streams Framework» de Kingdon et au « Policy Triangle Model» de Walt et Gilson pour de futures recherches en santé mondiale sensibles au handicap et axées sur l'analyse des politiques basées sur l'équité. / Introduction: Sexual and reproductive health (SRH) rights are essential to achieve universal health coverage (UHC) for all, including people with disabilities. Uganda emerged from a 20-year armed conflict which created both disability and damage to health systems, especially in the Northern region. One Ugandan in five lives with some disability. Uganda adopted a series of normative tools promoting the rights of people with disabilities. However, their access to SRH services remains limited. More broadly, ableist gendered roles remain pervasive and men and youth with disabilities are less targeted by SRH programmes (Article 1). Health policies and their implementation need deeper contextualised analysis to protect the right to health of people with disabilities. This thesis aimed to examine the perceived and empirical relationships among legislation, health policies, and SRH service utilisation among people with disabilities in post-conflict Northern Uganda. Methods: A sequential exploratory mixed methods design was informed by the Intersectionality-based Policy Analysis (IPBA) framework. First, I conducted a multiple case study with five groups of policy actors (people with disabilities, service providers, disabled people’s organisations, national and international organisations, and national policy-makers). I thematically analysed 45 in-depth interviews and nine focus groups and observed seven health facilities regarding accessibility. Second, I analysed secondary data with multivariable logistic regressions, from the 2006, 2011, and 2016 Uganda Demographic and Health Surveys regarding SRH service use among 15,739 individuals in the decade following the adoption of national legislation promoting the rights of people with disabilities. Third, I conducted a systematic review examining the relationships among legislation, health policies, and SRH service use among vulnerable populations in sub-Saharan Africa (1994-2019). Results: This thesis highlights four main findings. First, the IBPA framework revealed complex relationships among legislation, health policy, and the use of SRH services by people with disabilities in Northern Uganda. These relationships were marked by policy implementation challenges, disability rights violation through multiple barriers to access, and intersecting vulnerabilities experienced by people with disabilities, exacerbated by underlying societal power structures. On one hand, the perceptions of different groups of policy actors converged by emphasising the ongoing SRH inequities faced by people with disabilities (Articles 2 and 3). On the other hand, although SRH service use improved over time, it did not improve equally for everyone. The 10-year SRH service use trend showed nuanced patterns across people with different impairments; notably, richer women with hearing impairments were less likely than poor non-disabled women to have used safe motherhood services (Article 4). Second, despite identifying legislation and policy implementation challenges, the five groups of policy actors suggested several concrete and complementary recommendations to address barriers and operationalise transformative measures, such as disability data collection and budgeting (Articles 2 and 3). Third, research findings at the local level (Uganda) contextualised the findings at the regional level (sub-Saharan Africa), and vice versa. A 25-year systematic review showed that people with disabilities continue to be a blind spot in research on SRH service use and policy analysis (Article 5). Finally, the practice of reflexivity throughout the research revealed tensions in the application of ethics norms in the context of global health qualitative research with people with disabilities conducted in the Global South (Article 6). Conclusion: The IPBA framework proved to be a useful and transformation-oriented analytical tool to disentangle complex policy implementation issues and multiple intersecting vulnerabilities and barriers to SRH service access and utilisation by people with disabilities. This thesis proposes two adapted conceptual frameworks for future disability-sensitive research focusing on equity-focused policy analysis in global health, integrating IBPA with Kingdon’s Policy Streams framework to enhance sensitivity to equity and Walt and Gilson’s Policy Triangle model to enhance sensitivity to the multiple dimensions of (in)equity. The Sustainable Development Goals emphasise inclusiveness and accountability. UHC for all is only possible through transformative action and research to fill knowledge and programmatic gaps, focusing on equity and human and disability rights. This thesis provides evidence enabling policy actors at different levels to act – now – to address and redress the social health inequities experienced by people with disabilities.

Au cours de la dernière décennie, avec la standardisation d’Internet, le développement des réseaux à haut débit, le paiement à l’usage et la quête sociétale de la mobilité, le monde informatique a vu se populariser un nouveau paradigme, le Cloud. Le recours au cloud est de plus en plus remarquable compte tenu de plusieurs facteurs, notamment ses architectures rentables, prenant en charge la transmission, le stockage et le calcul intensif de données. Cependant, ces services de stockage prometteurs soulèvent la question de la protection des données et de la conformité aux réglementations, considérablement due à la perte de maîtrise et de gouvernance. Cette dissertation vise à surmonter ce dilemme, tout en tenant compte de deux préoccupations de sécurité des données, à savoir la confidentialité des données et l’intégrité des données. En premier lieu, nous nous concentrons sur la confidentialité des données, un enjeu assez considérable étant donné le partage de données flexible au sein d’un groupe dynamique d’utilisateurs. Cet enjeu exige, par conséquence, un partage efficace des clés entre les membres du groupe. Pour répondre à cette préoccupation, nous avons, d’une part, proposé une nouvelle méthode reposant sur l’utilisation de la cryptographie basée sur l’identité (IBC), où chaque client agit comme une entité génératrice de clés privées. Ainsi, il génère ses propres éléments publics et s’en sert pour le calcul de sa clé privée correspondante. Grâce aux propriétés d’IBC, cette contribution a démontré sa résistance face aux accès non autorisés aux données au cours du processus de partage, tout en tenant compte de deux modèles de sécurité, à savoir un serveur de stockage honnête mais curieux et un utilisateur malveillant. D’autre part, nous définissons CloudaSec, une solution à base de clé publique, qui propose la séparation de la gestion des clés et les techniques de chiffrement, sur deux couches. En effet, CloudaSec permet un déploiement flexible d’un scénario de partage de données ainsi que des garanties de sécurité solides pour les données externalisées sur les serveurs du cloud. Les résultats expérimentaux, sous OpenStack Swift, ont prouvé l’efficacité de CloudaSec, en tenant compte de l’impact des opérations cryptographiques sur le terminal du client. En deuxième lieu, nous abordons la problématique de la preuve de possession de données (PDP). En fait, le client du cloud doit avoir un moyen efficace lui permettant d’effectuer des vérifications périodiques d’intégrité à distance, sans garder les données localement. La preuve de possession se base sur trois aspects : le niveau de sécurité, la vérification publique, et les performances. Cet enjeu est amplifié par des contraintes de stockage et de calcul du terminal client et de la taille des données externalisées. Afin de satisfaire à cette exigence de sécurité, nous définissons d’abord un nouveau protocole PDP, sans apport de connaissance, qui fournit des garanties déterministes de vérification d’intégrité, en s’appuyant sur l’unicité de la division euclidienne. Ces garanties sont considérées comme intéressantes par rapport à plusieurs schémas proposés, présentant des approches probabilistes. Ensuite, nous proposons SHoPS, un protocole de preuve de possession de données capable de traiter les trois relations d’ensembles homomorphiques. SHoPS permet ainsi au client non seulement d’obtenir une preuve de la possession du serveur distant, mais aussi de vérifier que le fichier, en question, est bien réparti sur plusieurs périphériques de stockage permettant d’atteindre un certain niveau de la tolérance aux pannes. En effet, nous présentons l’ensemble des propriétés homomorphiques, qui étend la malléabilité du procédé aux propriétés d’union, intersection et inclusion / Recent technological advances have given rise to the popularity and success of cloud. This new paradigm is gaining an expanding interest, since it provides cost efficient architectures that support the transmission, storage, and intensive computing of data. However, these promising storage services bring many challenging design issues, considerably due to the loss of data control. These challenges, namely data confidentiality and data integrity, have significant influence on the security and performances of the cloud system. This thesis aims at overcoming this trade-off, while considering two data security concerns. On one hand, we focus on data confidentiality preservation which becomes more complex with flexible data sharing among a dynamic group of users. It requires the secrecy of outsourced data and an efficient sharing of decrypting keys between different authorized users. For this purpose, we, first, proposed a new method relying on the use of ID-Based Cryptography (IBC), where each client acts as a Private Key Generator (PKG). That is, he generates his own public elements and derives his corresponding private key using a secret. Thanks to IBC properties, this contribution is shown to support data privacy and confidentiality, and to be resistant to unauthorized access to data during the sharing process, while considering two realistic threat models, namely an honest but curious server and a malicious user adversary. Second, we define CloudaSec, a public key based solution, which proposes the separation of subscription-based key management and confidentiality-oriented asymmetric encryption policies. That is, CloudaSec enables flexible and scalable deployment of the solution as well as strong security guarantees for outsourced data in cloud servers. Experimental results, under OpenStack Swift, have proven the efficiency of CloudaSec in scalable data sharing, while considering the impact of the cryptographic operations at the client side. On the other hand, we address the Proof of Data Possession (PDP) concern. In fact, the cloud customer should have an efficient way to perform periodical remote integrity verifications, without keeping the data locally, following three substantial aspects : security level, public verifiability, and performance. This concern is magnified by the client’s constrained storage and computation capabilities and the large size of outsourced data. In order to fulfill this security requirement, we first define a new zero-knowledge PDP proto- col that provides deterministic integrity verification guarantees, relying on the uniqueness of the Euclidean Division. These guarantees are considered as interesting, compared to several proposed schemes, presenting probabilistic approaches. Then, we propose SHoPS, a Set-Homomorphic Proof of Data Possession scheme, supporting the 3 levels of data verification. SHoPS enables the cloud client not only to obtain a proof of possession from the remote server, but also to verify that a given data file is distributed across multiple storage devices to achieve a certain desired level of fault tolerance. Indeed, we present the set homomorphism property, which extends malleability to set operations properties, such as union, intersection and inclusion. SHoPS presents high security level and low processing complexity. For instance, SHoPS saves energy within the cloud provider by distributing the computation over multiple nodes. Each node provides proofs of local data block sets. This is to make applicable, a resulting proof over sets of data blocks, satisfying several needs, such as, proofs aggregation

L’enseignement-apprentissage du lexique spécialisé chinois est un chemin semé d’obstacles. Pour les apprenants non natifs, les combinaisons lexicales spécialisées (CLS) (L’Homme, 2000) soulèvent des difficultés syntaxico sémantiques et représentent ainsi un défi majeur dans l’acquisition de compétences lexicales. On recense, toutefois, peu de propositions méthodologiques pour résoudre ces difficultés dans la littérature consacrée à la didactique du chinois sur objectifs spécifiques (COS) (Q. Li, 2011). Dans cette recherche, nous nous attachons à explorer de quelle manière une méthode de description lexicale basée sur une représentation sémantique et syntaxique assiste les apprenants non natifs dans la résolution des problèmes lexicaux soulevés par les CLS. Notre thèse vise à concevoir une méthode de description des CLS en vue de la résolution de difficultés lexicales par les locuteurs non sinophones. La méthode mise au point est appliquée à l’élaboration du dictionnaire CHINOINFO, une ressource lexicale chinois-français portant sur le domaine de l’informatique. Cette ressource s’adresse aux apprenants francophones du chinois. L’objectif secondaire de notre thèse consiste à évaluer l’efficacité du CHINOINFO auprès des apprenants francophones qui reçoivent une formation de chinois dans un établissement universitaire au Québec ou en Chine. Notre recherche fait appel à des notions empruntées à trois cadres théoriques. Premièrement, la Lexicologie explicative et combinatoire (Mel’čuk et al., 1995) nous sert d’appui théorique pour fonder la description des CLS sur la représentation sémantique du lexique spécialisé. Deuxièmement, notre démarche de collecte et d’analyse des CLS est guidée par l’approche lexico sémantique à la terminologie (L’Homme, 2020a). Enfin, nous nous appuyons sur l’approche cognitive en didactique des langues secondes (Chastain, 1990) pour envisager une présentation structurée des connaissances lexicales. Notre démarche méthodologique s’est déroulée en trois phases. Nous avons d’abord assemblé un corpus spécialisé chinois pour en extraire un échantillon de CLS et les renseignements permettant de les décrire. L’analyse des données collectées à partir du corpus nous a amenée à anticiper trois types de difficultés syntaxico-sémantiques soulevées par les CLS : 1) distinguer les acceptions d’un polysème dans différentes CLS; 2) différencier les sens distincts de CLS de forme identique; 3) choisir les cooccurrents appropriés d’un terme. À la deuxième phase, nous avons mobilisé différentes stratégies pour décrire les propriétés syntaxico-sémantiques des CLS. Une méthode descriptive intégrant les solutions proposées a ensuite été appliquée à la création du CHINOINFO. Cette ressource en ligne répertorie 91 termes fondamentaux du domaine de l’informatique, pour lesquels nous avons encodé au total 282 termes reliés et 644 CLS. La structuration des données au sein des articles s’est largement inspirée de l’adaptation du DiCoInfo (Observatoire de linguistique Sens-Texte, 2022) à un dictionnaire d’apprentissage (Alipour, 2014). Différents moyens techniques ont été mis en œuvre pour assurer la convivialité de la ressource. La dernière phase de notre recherche consiste en une expérimentation comparative visant à évaluer l’efficacité pédagogique du CHINOINFO. Nous avons fait passer un test lexical à deux groupes d’apprenants francophones, soit le groupe contrôle (GC) et le groupe expérimental (GE), en leur proposant un nombre d’outils de référence. Seul le GE a eu accès à CHINOINFO. Nous avons aussi collecté, au moyen de questionnaires de sondage, le profil des participants ainsi que leur appréciation sur le test et les outils de référence proposés. De manière générale, l’analyse comparative des résultats du test lexical montre que le GE a mieux réussi à résoudre les trois types de difficultés soulevées par les CLS. Les participants étaient plutôt satisfaits de l’organisation du test. Le GE a eu moins de difficultés à réaliser le test puisqu’il se sentait mieux outillé pour trouver des éléments de réponses aux questions du test par rapport GC. Le GE s’est exprimé favorablement quant à l’utilité du CHINOINFO pour résoudre les problèmes lexicaux dans le cadre de notre expérimentation. Pour conclure, les résultats de notre analyse fournissent des indices sur l’apport du CHINOINFO en tant qu’une ressource d’apprentissage des CLS, ce qui laisse entrevoir l’intérêt de la méthode de description lexicale que nous avons proposée dans un contexte pédagogique. / The teaching and learning of Chinese specialized lexicon is a path strewn with obstacles. For non-native learners, specialized lexical combinations (SLCs) (L’Homme, 2000) raise syntactic and semantic difficulties and thus represent a major challenge in the acquisition of lexical skills. However, there are few methodological proposals to solve these difficulties in the literature devoted to the teaching practice and applied research of Chinese for specific purposes (Q. Li, 2011). In this research, we explore how a lexical description method based on semantic and syntactic representation assists non-native learners in solving lexical problems raised by SLCs. This thesis aims at designing a method for describing SLCs to help non-Chinese speakers solve lexical difficulties. The proposed method is applied to develop CHINOINFO, a Chinese-French dictionary of computer science and information technology terms. This lexical resource is designed for French-speaking learners of Chinese and can also be used as a writing tool for language professionals (translators, technical writers, and proofreaders), as well as professionals in this field. The secondary objective of this thesis is to evaluate the pedagogical effectiveness of the developed resource among French-speaking university students. This research draws on concepts derived from three theoretical frameworks. Firstly, the Explanatory and Combinatorial Lexicology (Mel’čuk et al., 1995) provides theoretical support for founding the lexical description on the representation of semantic features of the specialized lexicon. Secondly, the collection and analysis of SLCs are guided by the lexical-semantic approach to terminology (L’Homme, 2020a). Finally, we draw on the cognitive approach to second language didactics (Chastain, 1990) to explore the effective ways to organize and present the descriptive information of the specialized lexicon. Our methodological approach was carried out in three stages. We started by assembling a specialized Chinese corpus to extract a sample of SLCs and their descriptive information. The analysis of the data collected from the corpus led us to anticipate three types of syntaxico-semantic difficulties raised by SLCs: 1) distinguishing polysemes in different SLCs; 2) identifying, in a given context, the meaning of a lexical combination that is syntactically ambiguous; and 3) selecting appropriate co-occurrents for a term. In the second stage, we deployed different strategies to describe the syntaxico-semantic features of SLCs. Subsequently, a descriptive method that incorporates the proposed solutions has been applied to the creation of CHINOINFO. This online lexical resource contains 91 basic terms related to computer science and information technology. For these terms, we encoded a total of 282 related terms and 644 SLCs. The organization of content in the entries has been largely inspired by the conversion of DiCoInfo (Observatoire de linguistique Sens-Texte, 2022) into a learner’s dictionary (Alipour, 2014). We used various techniques to make the resource user-friendly. The final stage of our research consists of a comparative experiment to evaluate the pedagogical effectiveness of CHINOINFO. We had two groups of French-speaking learners, the control group (CG) and the experimental group (EG), take a lexical test by providing them with several reference materials. Only the EG had access to CHINOINFO during the test. We also collected the information about the participants' learning profile and their appreciation of the test and the proposed reference materials. Overall, the comparative analysis of the test results shows that the GE succeeded better in solving the three types of difficulties raised by the SLCs. The participants were quite satisfied with the organization of the lexical test. The EG encountered less difficulty in answering questions during the test since they felt better equipped to find elements of answers in the reference materials than the GC. The EG commented favorably on the utility of CHINOINFO in solving lexical problems. To conclude, the results of our experiment provide clues about the pedagogical interest of CHINOINFO as a SLC learning resource, which suggests the relevance of the lexical description method we proposed in a pedagogical context.

Les modélisateurs rencontrent souvent des défis ou des difficultés lorsqu’il s’agit de concevoir un modèle logiciel particulier. Dans cette thèse, nous avons exploré différentes voies et examiné différentes approches pour résoudre cette problématique. Nous proposons enfin une approche simple mais novatrice qui améliore la complétion des activités de modélisation de domaines. Cette approche exploite la puissance des modèles de langage de grande taille en utilisant l’apprentissage par seulement quelques exemples, éliminant ainsi la nécessité d’un apprentissage profond ou d’un ajustement fin (fine tuning) sur des ensembles de données rares dans ce domaine. L’un des points forts de notre approche est sa polyvalence, car elle peut s’intégrer fa cilement à de nombreuses activités de modélisation, fournissant un aide précieux et des recommendations aux modélisateurs. De plus, nous avons mené une étude utilisateur pour évaluer l’utilité de cette méthode et la valeur de l’assistance en modélisation; nous avons cherché à savoir si l’effort investi dans l’assistance en modélisation vaut la peine en recueillant les commentaires des concepteurs de modèles logiciels. / Modelers often encounter challenges or difficulties when it comes to designing a particular software model. Throughout this thesis, we have explored various paths and examined different approaches to address this issue. We finally propose a simple yet novel approach enhancing completion in domain modeling activities. This approach leverages the power of large language models by utilizing few-shot prompt learning, eliminating the need for extensive training or fine-tuning on scarce datasets in this field. One of the notable strengths of our approach lies in its versatility, as it can be seamlessly integrated into various modeling activities, providing valuable support and recommendations to software modelers. Additionally, we conducted a user study to evaluate the usefulness of this approach and determine the value of providing assistance in modeling; we aimed to determine if the effort invested in modeling assistance is worthwhile by gathering feedback from software modelers.

La conception de réseaux est un riche sous-domaine de l'optimisation combinatoire ayant de nombreuses applications pratiques. Du point de vue méthodologique, la plupart des problèmes de cette classe sont notoirement difficiles en raison de leur nature combinatoire et de l'interdépendance des décisions qu'ils impliquent. Ce mémoire aborde deux problèmes de conception de réseaux dont les structures respectives posent des défis bien distincts. Tout d'abord, nous examinons un problème déterministe dans lequel un client doit acquérir au prix minimum un certain nombre d'unités d'un produit auprès d'un ensemble de fournisseurs proposant différents coûts fixes et unitaires, et dont les stocks sont limités. Ensuite, nous étudions un problème probabiliste dans lequel une entreprise entrant sur un marché existant cherche, en ouvrant un certain nombre d'installations parmi un ensemble de sites disponibles, à maximiser sa part espérée d'un marché composé de clients maximisant une fonction d'utilité aléatoire. Ces deux problèmes, soit le problème de transport à coût fixe à un puits et le problème d'emplacement d'installations compétitif basé sur les choix, sont étroitement liés au problème du sac à dos et au problème de couverture maximale, respectivement. Nous introduisons de nouvelles reformulations prenant avantage de ces connexions avec des problèmes classiques d'optimisation combinatoire. Dans les deux cas, nous exploitons ces reformulations pour démontrer de nouvelles propriétés théoriques et développer des méthodes de résolution efficaces. Notre nouvel algorithme pour le problème de transport à coûts fixes à un puits domine les meilleurs algorithmes de la littérature, réduisant le temps de résolution des instances de grande taille jusqu'à quatre ordres de grandeur. Une autre contribution notable de ce mémoire est la démonstration que la fonction objectif du problème d'emplacement d'installations compétitif basé sur les choix est sous-modulaire sous n'importe quel modèle de maximisation d’utilité aléatoire. Notre méthode de résolution basée sur la simulation exploite cette propriété et améliore l'état de l'art pour plusieurs groupes d'instances. / Network design is a rich subfield of combinatorial optimization with wide-ranging real-life applications. From a methodological standpoint, most problems in this class are notoriously difficult due to their combinatorial nature and the interdependence of the decisions they involve. This thesis addresses two network design problems whose respective structures pose very distinct challenges. First, we consider a deterministic problem in which a customer must acquire at the minimum price a number of units of a product from a set of vendors offering different fixed and unit costs and whose supply is limited. Second, we study a probabilistic problem in which a firm entering an existing market seeks, by opening a number of facilities from a set of available locations, to maximize its expected share in a market composed of random utility-maximizing customers. These two problems, namely the single-sink fixed-charge-transportation problem and the choice-based competitive facility location problem, are closely related to the knapsack problem and the maximum covering problem, respectively. We introduce novel model reformulations that leverage these connections to classical combinatorial optimization problems. In both cases, we exploit these reformulations to prove new theoretical properties and to develop efficient solution methods. Our novel algorithm for the single-sink fixed-charge-transportation problem dominates the state-of-the-art methods from the literature, reducing the solving time of large instances by up to four orders of magnitude. Another notable contribution of this thesis is the demonstration that the objective function of the choice-based competitive facility location problem is submodular under any random utility maximization model. Our simulation-based method exploits this property and achieves state-of-the-art results for several groups of instances.

Les plantes se distribuent dans des habitats présentant une disponibilité variable en nutriment et s'y adaptent en ajustant leur taux de croissance relatif. Les espèces adaptées aux habitats infertiles, affichent un taux de croissance plus faible que celles adaptées aux habitats fertiles. Les adaptations expliquant cette distribution ont été identifiées, premièrement, au niveau des feuilles. Un fort taux de fixation du carbone et d’allocation de ce dernier à la croissance sont favorisés en investissant davantage dans des tissus foliaires contenant des enzymes photosynthétiques riches en azote, par rapport aux tissus structuraux riches en carbone. Inversement, les feuilles favorisant une croissance lente présentent une plus grande quantité de tissus structuraux que de tissus riches en enzymes photosynthétiques, ce qui prolonge leur longévité, mais restreint leur taux d'assimilation du carbone. Étant donné que les adaptations foliaires dépendent de l'utilisation des nutriments acquis par les racines, les adaptations de ces dernières sont essentielles pour comprendre la distribution des plantes. Le fonctionnement des racines est influencé par les mêmes variations dans le ratio entre les tissus à forte teneur en protéines riches en azote et les tissus structuraux. Les fortes valeurs de ce ratio améliorent l’acquisition des nutriments et soutiennent une croissance rapide, tandis que les faibles valeurs prolongent la longévité des racines, mais restreignent leur taux d'acquisition. Cependant, les racines doivent également explorer le sol dû à la mobilité limitée des nutriments. Cette fonction est réalisée en établissant des relations symbiotiques avec des champignons ou par l'allongement de leurs racines. Cependant, contrairement aux adaptations foliaires, la relation entre ces adaptations racinaires et la disponibilité des nutriments présente des résultats contradictoires. De plus, ces adaptations n'influencent pas l'acquisition des nutriments non directement disponibles, comme les nutriments organiques, qui peuvent représenter une proportion importante des nutriments du sol. Cela limite notre compréhension de la nutrition des plantes et entrave notre compréhension des mécanismes expliquant leur distribution. Afin de mieux comprendre la nutrition des plantes, des feuilles et des racines furent échantillonnées le long de gradients de fertilité. Les résultats ont montré que l'utilisation de nutriments organiques par le biais d'enzymes hydrolytiques augmentait à mesure que la fertilité des sols diminuait. De plus, une forte corrélation entre cette adaptation et les adaptations racinaires liées aux taux d'acquisition des nutriments a été observée, mais aucune corrélation n'a été constatée avec celles liées à l'exploration du sol. En revanche, dans un autre système d'étude, les résultats ont indiqué que les adaptations racinaires liées à l'exploration du sol, plutôt que celles associées aux taux d'acquisition des nutriments, s'alignaient avec la variation de la disponibilité des nutriments et se coordonnaient avec les adaptations foliaires qui permettent d’expliquer en partie la distribution des plantes. Dans l'ensemble, ces études ont approfondi notre compréhension de la nutrition des plantes et ont révélé différentes relations entre la variation de la disponibilité des nutriments et les adaptations racinaires influençant l'acquisition des nutriments et l'exploration du sol. Cela suggère qu’une généralisation des adaptations racinaires répondant systématiquement aux demandes nutritionnelles des feuilles est peu probable. / Plants are distributed across habitats of varying nutrient availability and adapt by adjusting, notably, their relative growth rates. Species adapted to nutrient-poor habitats exhibit lower growth rates than those adapted to nutrient-rich habitats. The adaptations explaining this distribution have been identified, first and foremost, at the leaf level. Leaves promoting rapid growth enhance net carbon assimilation by investing more in nitrogen-rich photosynthetic enzymes compared to carbon-rich structural tissues. This extends their lifespan, enhances their nutrient-use efficiency but limits carbon assimilation. Given that foliar adaptations depend on the utilization of nutrients acquired by roots, root adaptations are essential to understanding plant distribution. Plants possess also the ability to modify the ratio between nitrogen-rich protein tissues and carbonrich structural tissues in their roots. Similarly to leaf functioning, increasing this ratio enhances the efficiency of nutrient acquisition while minimizing carbon investment, enabling optimal carbon allocation for growth. On the other hand, they can decrease this ratio to prioritize nutrient conservation, which extends their longevity but restricts nutrient acquisition rate. However, roots must also explore the soil due to the limited mobility of nutrients. Soil exploration is achieved by establishing symbiotic relationships with fungi or through the elongation of their roots. Unlike leaf adaptations, the relationship between these root adaptations and nutrient availability yields contradictory results. Additionally, these adaptations do not directly influence the acquisition of non-readily available soil nutrients, such as organic nutrients, which can represent a significant proportion of the total nutrient pool. Thus, our understanding of plant nutrition is limited, impeding our understanding of the mechanisms explaining their distributions. To contribute to an enriched understanding of plant nutrition, leaves and roots were sampled along strong fertility gradients. The results revealed an increase in the utilization of organic nutrients through hydrolytic enzymes as the availability of directly accessible nutrients declined. Furthermore, a strong correlation between this adaptation and root adaptations related to nutrient acquisition rates has been observed, but no correlation was found with adaptations related to soil exploration. On the other hand, in another study system, the results indicated that root adaptations related to soil exploration, rather than those associated with nutrient acquisition rates, aligned with the variation in nutrient availability and coordinated with foliar adaptations influencing net carbon assimilation. As a result, a high degree of mycorrhizal symbiosis was associated with leaves favoring rapid growth in fertile soil. Overall, roots displaying a high density of structural tissues and a high degree of symbiotic association were associated with fertile soil across two different study systems. Altogether, these results have deepened our understanding of plant nutrition and revealed different possible relationships between nutrient availability variation and root adaptations influencing nutrient acquisition and soil exploration. This suggests that generalizing root adaptations that consistently meet the nutrient demands of leaves is unlikely.

Les travaux de cette thèse portent sur l’estimation et la commande décentralisée des systèmes de grande dimension. L’objectif est de développer des capteurs logiciels pouvant produire une estimation fiable des variables nécessaires pour la stabilisation des systèmes non linéaires interconnectés. Une décomposition d’un tel système de grande dimension en un ensemble de n sous-systèmes interconnectés est primordiale. Ensuite, en tenant compte de la nature du sous-système ainsi que les fonctions d’interconnexions, des lois de commande décentralisées basées observateurs ont été synthétisées. Chaque loi de commande est associée à un sous-système qui permet de le stabiliser localement, ainsi la stabilité du système global est assurée. L’existence d’un observateur et d’un contrôleur stabilisant le système dépend de la faisabilité d’un problème d’optimisation LMI. La formulation LMI, basée sur l’approche de Lyapunov, est élaborée par l’utilisation de principe de DMVT sur la fonction d’interconnexion non linéaire supposée bornée et incertaine. Ainsi des conditions de synthèse non restrictives sont obtenues. Des méthodes de synthèse de loi de commande décentralisée basée observateur ont été proposées pour les systèmes non linéaires interconnectés dans le cas continu et dans le cas discret. Des lois de commande robuste H1 décentralisées sont élaborées pour les systèmes non linéaires interconnectés en présence de perturbations et des incertitudes paramétriques. L’efficacité et la validation des approches présentées sont testées sur un modèle de réseaux électriques composé de trois générateurs interconnectés / This thesis focuses on the decentralized estimation and control for large scale systems. The objective is to develop software sensors that can produce a reliable estimate of the variables necessary for the interconnected nonlinear systems stability analysis. A decomposition of a such large system into a set of n interconnected subsystems is paramount for model simplification. Then, taking into account the nature of the subsystem as well as the interconnected functions, observer-based decentralized control laws have been synthesized. Each control law is associated with a subsystem which allows it to be locally stable, thus the stability of the overall system is ensured. The existence of an observer and a controller gain matrix stabilizing the system depends on the feasibility of an LMI optimization problem. The LMI formulation, based on Lyapunov approach, is elaborated by applying the DMVT technique on the nonlinear interconnection function, assumed to be bounded and uncertain. Thus, non-restrictive synthesis conditions are obtained. Observer-based decentralized control schemes have been proposed for nonlinear interconnected systems in the continuous and discrete time. Robust Hinfini decentralized controllers are provided for interconnected nonlinear systems in the presence of perturbations and parametric uncertainties. Effectiveness of the proposed schemes are verified through simulation results on a power systems with interconnected machines

Dans cette thèse, nous présentons une méthode de segmentation d’images radiographiques des membres inférieurs en régions d’intérêt (ROIs), une méthode de recalage rigide tridimensionnel (3D) / bidimensionnel (2D) des prothèses du genou sur les deux images biplanaires radiographiques calibrées et une méthode de reconstruction 3D des membres inférieurs à partir de deux images biplanaires radiographiques calibrées. Le premier article présente une méthode de segmentation de rotule, astragale et bassin des images radiographiques en régions d’intérêt basée sur la fusion de multi-atlas et superpixels. Cette méthode utilise l’apprentissage d’une base de données d’images radiographiques de ces os segmentées manuellement et recalées entre elles pour estimer un ensemble de superpixels permettant de tenir compte de toute la variabilité locale et non linéaire existante dans la base, puis la propagation d’étiquettes basée sur le concept d’entropie pour raffiner la carte de segmentations en régions internes afin d’obtenir le résultat final. Le deuxième article présente une méthode de recalage rigide 3D / 2D des composants tibiaux et fémoraux de prothèse du genou sur deux images biplanaires radiographiques calibrées. Cette méthode utilise une mesure de similarité hybride basée sur les notions de contours et régions puis un algorithme d’optimisation stochastique pour estimer la position des composants. La similarité basée sur les régions est stable et robuste contre les bruits. Cependant, cette mesure n’est pas précise car le nombre de pixels aux contours est inférieur au celui à l’intérieur de la région. Au contraire, la similarité basée sur les contours est précise mais plus sensible au bruit ou à d’autres artefacts existant dans les images. C’est pourquoi la combinaison de ces deux similarités fournit une méthode de recalage robuste et précise. Le troisième article représente une méthode statistique biplanaire de reconstruction 3D de rotule, astragale et bassin. Cette méthode utilise un algorithme de réduction de dimensionnalité pour définir un modèle déformable paramétrique qui contient toutes les déformations statistiques admissibles apprises à partir d’une base de données des structures osseuses. Puis un algorithme d’optimisation stochastique est utilisé pour minimiser la différence entre la projection des contours / régions des modèles surfaciques osseux avec ceux segmentés sur les deux images radiographiques. / In this thesis, we present a segmentation method of lower limbs of X-ray images into regions of interest (ROIs), a three-dimensional (3D) / two-dimensional (2D) rigid registration method of knee implant components to biplanar X-ray images, and a 3D reconstruction method of the lower limbs using biplanar X-ray images. The first paper presents a superpixel and multi-atlas-based segmentation method of the patella, talus, and pelvis into regions of interest. This method uses a training dataset of pre-segmented and co-registered X-ray images of these bones to estimate a collection of superpixels allowing to take into account all the nonlinear and local variability existing in the dataset, then a propagation of label based on the entropy concept for refining the segmentation map into internal regions to the final result. The second paper presents a 3D / 2D rigid registration method of tibial and femoral components of knee implants to calibrated biplanar X-ray images. This method uses a hybrid edge- and region-based similarity measure then a stochastic optimization algorithm to estimate the component position. The region-based similarity is stable and robust to noise. However, this measure is not precise because the number of pixels in the border is fewer than the number of pixels inside the region. On the contrary, the edge-based similarity is accurate but more sensitive to noise or other artifacts existing in the images. That’s why the combination of these two similarity types provides a robust and accurate registration method. The third paper presents a statistical biplanar 3D reconstruction method of the patella, talus, and pelvis. This method uses a dimensionality reduction algorithm to define a deformable parametric model which contains all admissible statistical deformations learned from the bone structure dataset. Then a stochastic optimization algorithm is used to minimize the difference between the contour / region projection of bone models and the contours / regions in two segmented X-ray images.