Добірка наукової літератури з теми "Fraîcheur et consistance de données"

RésuméLe sytème AMDP est né à Nuremberg en 1960; il comporte 2 parties: la première relative aux données anamnestiques et la seconde aux donnée psychopathologiques et somatiques. L’échelle psychopathologique (AMDP-4) contient 100 items + 15 items de réserve propres à la version française; l’échelle somatique (AMDP-5) contient 40 + 7 items, tous sont gradués de 0 à 4. La fidélité, la validité et la sensibilité ainsi que la consistance factorielle ont été montrées tant en français qu’en allemand.

Résumé Cet article s'inscrit dans la foulée des recherches sur le sentiment d'autoefficacité des enseignants. Il rapporte deux études visant à traduire en langue française et à valider le Teacher efficacy scale (Gibson et Dembo, 1984), l'instrument le plus utilisé concernant ce concept. La méthode s'inspire de celle de Vallerand (1989). Dans une première étude, la stabilité temporelle et la consistance interne de l'instrument sont estimées: des analyses factorielles de type exploratoire sont réalisées sur des données provenant d'un échantillon de futurs enseignants. Dans une seconde étude, des analyses factorielles confirmatoires ont été faites sur des données issues d'un échantillon d'enseignants en exercice. Les résultats présentent une image probante des qualités psychométriques de la version française du Teacher efficacy scale.

Le présent article expose les qualités psychométriques de l’adaptation de deux questionnaires destinés à des élèves francophones, qui évaluent les stéréotypes de genre en mathématiques, d’une part, et les stéréotypes de genre en français, d’autre part. Les résultats de deux études comprenant des élèves de sixième année du primaire, de deuxième et de quatrième secondaire [n (Étude 1) = 169 ; n (Étude 2) = 1 138] montrent que les instruments adaptés offrent une consistance interne élevée ainsi qu’une bonne validité concomitante. De plus, des analyses factorielles exploratoires et confirmatoires ont révélé une structure reflétant les sous-échelles adaptées et procurant de bons indices d’ajustement aux données. Les questionnaires proposés présentent donc des qualités psychométriques satisfaisantes.

Cet article expose les qualités psychométriques de l’instrument de mesure de la perspective d’avenir des étudiants, une version française adaptée de la Future Time Perspective Student Scale (Husman & Shell, 2008). Conformément à l’instrument original, la version française de l’échelle adaptée est composée de quatre sous-échelles (intégration, valeur, extension et vitesse), dont la validation a été réalisée auprès de 693 étudiants issus de la formation collégiale préuniversitaire ou technique. Les résultats ont montré que les sous-échelles d’intégration, de valeur et d’extension adaptées en français offrent une bonne consistance interne. De plus, des analyses factorielles exploratoire et confirmatoire ont révélé une structure reflétant ces trois sous-échelles et procurant de bons indices d’ajustement aux données. Toutefois, les données n’ont pas permis de soutenir la valeur psychométrique de la sous-échelle de vitesse. Les résultats sont interprétés et discutés en regard de la perspective d’avenir et de la motivation scolaire des étudiants.

Cet article propose une notion constructiviste de modèle dans la théorie physique applicable à la théorie scientifique en général, c’est-à-dire aussi bien dans les sciences exactes que dans les sciences sociales et humaines. La distinction entre appareil analytique et appareil expérimental par la médiation des modèles permet en effet de généraliser une notion qui est d’abord apparue dans les fondements de la physique chez David Hilbert et John von Neumann. Si l’on consent à inverser les flèches ou homomorphismes qui vont de l’appareil analytique, ensemble des structures logicomathématiques, à l’appareil expérimental, ensemble des données empiriques et des procédures expérimentales, on peut remonter par la modélisation des données jusqu’à l’appareil analytique qui assure la consistance ou cohérence logique de la théorie scientifique, qu’elle relève des sciences exactes ou des sciences sociales. Une telle articulation des savoirs peut apparaître formelle, mais elle a l’avantage de rassembler les entreprises scientifiques dans un schème unificateur qui jette une lumière nouvelle sur le débat majeur en philosophie des sciences contemporaine, la confrontation du réalisme et de l’antiréalisme, qui a des répercussions tant en philosophie de la physique qu’en philosophie du langage et en philosophie de la logique, ou encore en philosophie des sciences sociales, si l’on en croit Jürgen Habermas ou les tenants du contructionnisme appelé jadis constructivisme social ou socioconstructivisme. L’article conclut sur la distinction qu’il faut opérer entre le constructivisme logicomathématique et le contructionnisme, comme le dénomme Ian Hacking, pour bien marquer la distance qui sépare les postures fondationnelles ou les options philosophiques dans ce qu’il faut bien appeler « logique de la science », selon l’expression du grand philosophe pragmatiste Charles Sanders Peirce reprise par des empiristes logiques comme Rudolf Carnap.

Le présent article interroge la politique volontariste de l’État marocain vis-à-vis d’un littoral désertique à forte individualité. Il met en question les différentes tentatives étatiques visant à l’intégrer à l’économie nationale. Longtemps resté marginale en raison de ses conditions physiques difficiles, cet espace est subitement devenu hautement stratégique au vu de la géopolitique régionale récente. Sa géographie a fait de lui un espace de nomadisme séculaire dépourvu d’acteurs stables. Dans l’espoir d’attirer de nouveaux acteurs de développement, l’État essaye tant bien que mal de lui donner une image d’espace viable, quitte à arranger habilement ses données démographiques dont dépendent les actions d’aménagement. Aussi, l’État s’efforce de rendre vivable cet espace en mettant en place des infrastructures, qui se sont avérées exclusives du littoral, et des projets grandioses qui peinent à démarrer. La nature et la consistance de ces projets auront sans doute des retombées qui seront tout pour ce milieu naturel sauf durables. Les échecs répétés de ses différentes tentatives semblent présager l’impossibilité de son développement durable

Comment peut-on mesurer l’impact des actions entreprises pour améliorer l’offre active de services sociaux et de santé en français dans les communautés francophones en situation minoritaire? Un questionnaire mesurant premièrement les comportements individuels de l’offre active et deuxièmement la perception du soutien organisationnel à faire de l’offre active a été créé. La validité de contenu de la Mesure de l’offre active de services en françaisen contexte minoritaire a été établie à l’aide d’une recension d’écrits, de consultations menées auprès d’expertes et d’experts et d’un sondage Delphi pancanadien. Sa fidélité a été examinée à partir de données recueillies auprès de récents diplômés en santé et en service social. L’outil démontre une bonne consistance interne et des études auprès d’un plus large échantillon sont nécessaires pour augmenter la confiance envers sa stabilité temporelle. Il s’agit des premiers pas d’une démarche visant à mesurer l’évolution des comportements d’offre active à la suite d’activités de formation ou de changements organisationnels en faveur de services en français. Une telle mesure est aussi susceptible d’être utile dans les recherches visant à saisir les déterminants de ces comportements d’offre active.

Cet article s’intéresse à la mesure et à la cartographie de l’îlot de chaleur urbain (ICU) dans la couche de canopée urbaine au sein de l’aire urbaine de Metz Métropole entre juin et septembre 2019. L’ICU a été suivi à partir d’un réseau de 23 stations météorologiques fixes permettant d’observer en continu la température de l’air à 3 m du sol. Les sites d’observation ont été soigneusement sélectionnés de façon à être représentatifs de différents types d’environnement (urbain, suburbain et périurbain) et typologies de revêtement (surfaces imperméables bitumées, surfaces végétalisées, étendues d’eau, etc.). L’objectif est d’évaluer les propriétés spatiales et temporelles de l’ICU au cours de cette période remarquablement chaude, et de déterminer son intensité à partir des données relevées en continu par le réseau de mesure. La période d’observation est particulièrement intéressante dans la mesure où elle se caractérise par la survenue des deux séquences caniculaires (25-30 juin et 21-26 juillet), offrant la possibilité de mieux comprendre le comportement thermique du tissu urbain et la dynamique de l’ICU local lors d’extrêmes chauds. Les résultats obtenus ont permis de mettre en évidence un ICU de l’ordre de 3°C en moyenne au sein des zones densément urbanisées, pouvant atteindre 7,1°C en situation caniculaire ce qui est conforme au modèle prédictif de Oke (1973) fondé sur la relation population-ICU en Europe. Une importante présence de végétation est toutefois susceptible de réduire son intensité et ses effets contrairement aux étendues d’eau qui, la nuit, ne semblent pas jouer le rôle de puits de fraîcheur.

L’analyse comparative des données météorologiques de la station rurale de Carpiquet avec une station expérimentale en périphérie de la ville de Caen a permis de montrer la présence en hiver d’un léger îlot de chaleur péri-urbain (ICPU) (moyenne de +0,4°C). Il est caractérisé par un maximum d’intensité en fin d’après-midi et début de soirée (+0,8°C) et des écarts faibles le reste du temps. Derrière cette image moyenne, une analyse du continuum temporel au pas de temps journalier puis horaire a mis en exergue des comportements différenciés selon les types de temps. Le caractère le plus original des résultats est la présence certes rare, mais significative en termes d’intensité, d’un îlot de fraîcheur péri-urbain (IFPU). Il se forme de nuit par temps clair et calme et se prolonge dans la matinée, jusqu’à présenter un maximum d’intensité vers 9 h UTC. Cette inversion par rapport au schéma classique de fonctionnement des îlots de chaleur urbain (ICU) s’explique par un mode d’occupation du sol favorable à la formation d’une poche froide par rayonnement nocturne, favorisée par l’absence totale de vent (effet de barrage du bâti et de la végétation) et par la faible densité urbaine, alors que sur la campagne ces mécanismes de refroidissement sont atténués par la persistance d’un léger flux. Cet IFPU résiste et s’intensifie en début de matinée, jusqu’à temps que le soleil et la turbulence de l’air ne viennent échauffer et disperser cette pellicule d’air froid plus dense. Ici, les conditions stationnelles semblent donc primer sur les effets purement urbains car l’agglomération de Caen ne présente pas une masse suffisante pour créer une « bulle chaude » jusque dans ses quartiers périphériques quand un type de temps radiatif s’impose.

Les systèmes embarqués en temps réel, malgré leurs ressources limitées, évoluent très rapidement. Pour ces systèmes, il est impératif de garantir que les tâches ne manquent pas leurs échéances, mais aussi la bonne qualité des données transmises de tâche en tâche. Il est obligatoire de trouver des compromis entre les contraintes d'ordonnancement du système et celles appliquées aux données. Pour garantir ces propriétés, nous considérons le mécanisme sans attente. L'accès aux ressources partagées suit le principe d'un seul producteur, plusieurs lecteurs. Pour contenir toutes les particularités de communication apportées par le mécanisme de communication uORB, nous avons modélisé les interactions entre les tâches par un graphe biparti que nous avons appelé graphe de communication et qui est composé d'ensembles de messages dits de domaine. Pour améliorer la prévisibilité de la communication inter-tâches, nous étendons le modèle de Liu & Layland avec le paramètre état de communication utilisé pour contrôler les points d'écriture/lecture.Nous avons considéré deux types de contraintes de données : les contraintes locales de données et les contraintes globales de données. Pour vérifier les contraintes locales des données, nous nous appuyons sur le mécanisme de sous-échantillonnage destiné à vérifier les contraintes locales des données. En ce qui concerne les contraintes globales des données, nous avons introduit deux nouveaux mécanismes : le " dernier lecteur de marque" et le " mécanisme de défilement ou d'écrasement ". Ces 2 mécanismes sont en quelque sorte complémentaires. Le premier fonctionne au début du fuseau tandis que le second fonctionne à la fin du fuseau
Real-time embedded systems, despite their limited resources, are evolving very quickly. For such systems, it is not enough to ensure that all jobs do not miss their deadlines, it is also mandatory to ensure the good quality of the data being transmitted from tasks to tasks. Speaking of the data quality constraints, they are expressed by the maintenance of a set of properties that a data sample must exhibit to be considered as relevant. It is mandatory to find trade-offs between the system scheduling constraints and those applied to the data. To ensure such properties, we consider the wait-free mechanism. The size of each communication buffer is based on the lifetime bound method. Access to the shared resources follows the single writer, many readers. To contain all the communication particularities brought by the uORB communication mechanism we modeled the interactions between the tasks by a bipartite graph that we called communication graph which is comprised of sets of so-called domain messages. To enhance the predictability of inter-task communication, we extend Liu and Layland model with the parameter communication state used to control writing/reading points.We considered two types of data constraints: data local constraints and data global constraints. To verify the data local constraints, we rely on the sub-sampling mechanism meant to verify data local constraints. Regarding the data global constraints, we introduced two new mechanism: the last reader tags mechanism and the scroll or overwrite mechanism. These 2 mechanisms are to some extent complementary. The first one works at the beginning of the spindle while the second one works at the end of the spindle

De récents résultats sur l’étude des systèmes de Lur’e (commutés) à temps discret mettent en avant une fonction de Lyapunov de type Lur’e avancée, dont les lignes de niveau peuvent être non convexes et non connexes. Celles-ci soulèvent de larges questions pour les systèmes de Lur’e à temps discret obtenus par la discrétisation d’un système continu. Les contributions de cette thèse sont d’apporter des éléments de réponse à ces questions. Tout d’abord, le verrou des lignes de niveau non-connexes est levé en construisant à partir de celles-ci une suite décroissante d’ensembles connexes et bornés qui converge vers l’origine et qui contient le futur de la trajectoire à temps continu. Dans un second temps, le problème de la stabilisation conjointe d’un système de Lur’e à données échantillonnées avec un échantillonnage non-uniforme est traité. Quand la période d’échantillonnage est à choisir parmi un nombre fini de valeurs, il est montré que ce problème se traduit comme la stabilisation conjointe d’un système commuté de Lur’e avec des incertitudes bornées en norme. En associant de plus à chaque mode un critère quadratique, une stratégie de type min-switching permet de résoudre cette question à l’aide d’un problème d’optimisation sous contraintes LMI. Enfin, les propriétés de la stratégie de min-switching pour les systèmes de Lur’e commutés à temps discret sont étudiées. Une extension de la notion de consistance permet de prouver que cette stratégie est consistante vis-à-vis de majorants quadratiques modaux du critère de performance et ainsi de garantir l’intérêt de la stratégie d’échantillonnage non-uniforme développée
Recent studies dealing with discrete-time (switched) Lur’e systems involve an adapted Lur’e type function exhibiting possibly non-convex and disconnected level sets. These properties raise fundamental issues in the case of discrete-time Lur’e system obtained by the sampling of a continuous time one. This PhD thesis aims at answering these questions. The first contribution is to avoid the discrete-time disconnected level sets by a decreasing sequence of bounded and connected sets that converges to the origin and that contain the future of the continuous-time trajectory. The second contribution deals with the joint stabilization of a sampled-data Lur’e system with non-uniform sampling. When the sampling period belongs to a finite set of values, this problem is reformulated as the joint stabilization of a discrete-time Lur’e switched system with norm-bounded uncertain parameters. Futhermore, if a quadratic criterion is associated with each mode, a min-switching strategy combined with LMI constraints allow to provide a solution to this problem. Finally the property of consistency for discrete-time switched Lur’e systems is investigated. It is shown that the min-switching strategy is consistent with respect to quadratic upper bounds of the performances. This result is applied on the stabilization of Lur’e systems with non-uniform sampling

Le modèle de régression semiparamétrique de Cox est l'un des plus utilisés pour l'analyse statistique des durées de vie issues du domaine médical ou de la fiabilité. Ses paramètres sont un paramètre de régression et une fonction de risque de base positive et inconnue. L'inférence statistique pour ce modèle, basée sur la vraisemblance partielle de Cox, est souvent compliquée par la présence de données manquantes des covariables. Dans cette thèse, nous proposons une méthode d'estimation des paramètres du modèle de Cox adaptée à cette situation, et nous étudions les propriétés asymptotiques des estimateurs obtenus. La méthode proposée consiste à modéliser conjointement les durées censurées et le processus de covariable afin d'en déduire, par intégration sur les valeurs manquantes de cette covariable, une vraisemblance conjointe permettant d'estimer les paramètres du modèle de Cox au vu des données incomplètes. Dans un premier temps, nous proposons et formalisons un modèle conjoint pour les durées de vie et la covariable longitudinale. Ce modèle est construit à partir du modèle de Cox et d'un modèle de covariable choisi comme étant une fonction en escalier. Nous établissons ensuite l'identifiabilité de ce modèle sous des conditions de régularité peu contraignantes. Puis, nous adaptons au modèle conjoint la méthode du maximum de vraisemblance semiparamétrique. Nous montrons l'existence d'estimateurs semiparamétriques de ses paramètres, et en particulier de ses paramètres d'intérêt, qui sont les paramètres du modèle de Cox. L'expression compliquée de la vraisemblance conjointe ne permet pas d'obtenir analytiquement ces estimateurs. Nous mettons alors en oeuvre l'estimation à l'aide d'un algorithme EM. Nous montrons ensuite la consistance et la normalité asymptotique de nos estimateurs. Puis, nous proposons un estimateur consistant de leur variance asymptotique. Dans une dernière partie, nous appliquons la méthode proposée sur un jeu de données réelles, et nous comparons nos résultats avec deux autres méthodes d'estimation du modèle de Cox avec covariable manquante proposées dans la littérature.

Dans la littérature sur les bases de données, il a été proposé d'utiliser des contraintes d'intégrité actives afin de restaurer l'intégrité de la base. Ces contraintes d'intégrité actives consistent en une contrainte classique augmentée d'un ensemble d'actions de mise à jour préférées qui peuvent être déclenchées quand la contrainte est violée. Dans la première partie de cette thèse, nous passons en revue les principales stratégies de réparation qui ont été proposées dans la littérature et proposons une formalisation par des programmes de la Logique Dynamique. L'outil principal que nous employons dans notre recherche est la logique DL-PA, une variante de PDL récemment introduite. Nous explorons ensuite une nouvelle façon dynamique de réparer les bases de données et comparons sa complexité calculatoire et ses propriétés générales aux approches classiques. Dans la seconde partie de la thèse nous abandonnons le cadre propositionnel et adaptons les idées susmentionnées à des langages d'un niveau supérieur. Plus précisément, nous nous intéressons aux Logiques de Description, et étudions des extensions des axiomes d'une TBox par des actions de mise à jour donnant les manières préférées par lesquelles une ABox doit être réparée dans le cas d'une inconsistance avec les axiomes de la TBox. L'extension des axiomes d'une TBox avec de telles actions de mise à jour constitue une nouvelle TBox, qui est active. Nous nous intéressons à la manière de réparer une ABox en rapport avec une telle TBox active, du point de vue syntaxique ainsi que du point de vue sémantique. Étant donnée une ABox initiale, l'approche syntaxique nous permet de construire un nouvel ensemble d'ABox dans lequel nous identifions les réparations les mieux adaptées. D'autre part, pour l'approche sémantique, nous faisons de nouveau appel au cadre de la logique dynamique et considérons les actions de mise à jour, les axiomes d'inclusion actives et les réparations comme des programmes. Étant donné une TBox active aT , ce cadre nous permet de vérifier (1) si un ensemble d'actions de mise à jour est capable de réparer une ABox en accord avec les axiomes actifs d'aT en effectuant une interprétation locale des actions de mise à jour et (2) si une ABox A' est la réparation d'une ABox donnée A sous les axiomes actifs d'aT moyennant un nombre borné de calculs, en utilisant une interprétation globale des actions de mise à jour. Après une discussion des avantages de chaque approche nous concluons en proposant une intégration des approches syntaxiques et sémantiques dans une approche cohésive
In the database literature it has been proposed to resort to active integrity constraints in order to restore database integrity. Such active integrity constraints consist of a classical constraint together with a set of preferred update actions that can be triggered when the constraint is violated. In the first part of this thesis, we review the main repairing routes that have been proposed in the literature and capture them by means of Dynamic Logic programs. The main tool we employ for our investigations is the recently introduced logic DL-PA, which constitutes a variant of PDL. We then go on to explore a new, dynamic kind of database repairing whose computational complexity and general properties are compared to the previous established approaches. In the second part of the thesis we leave the propositional setting and pursue to adapt the aforementioned ideas to higher level languages. More specifically, we venture into Description Logics and investigate extensions of TBox axioms by update actions that denote the preferred ways an ABox should be repaired in case of inconsistency with the axioms of the TBox. The extension of the TBox axioms with these update actions constitute new, active TBoxes. We tackle the problem of repairing an ABox with respect to such an active TBox both from a syntactic as well as a semantic perspective. Given an initial ABox, the syntactic approach allows us to construct a set of new ABoxes out of which we then identify the most suitable repairs. On the other hand, for the semantic approach we once again resort to a dynamic logic framework and view update actions, active inclusion axioms and repairs as programs. Given an active TBox aT , the framework allows to check (1) whether a set of update actions is able to repair an ABox according to the active axioms of aT by interpreting the update actions locally and (2) whether an ABox A' is the repair of a given ABox A under the active axioms of aT using a bounded number of computations by interpreting the update actions globally. After discussing the strong points of each direction, we conclude by combining the syntactic and semantic investigations into a cohesive approach

L'analyse de durées de vie censurées est utilisée dans des domaines d'application variés et différentes possibilités ont été proposées pour la modélisation de telles données. Nous nous intéressons dans cette thèse à deux types de modélisation différents, le modèle de Cox stratifié avec indicateurs de strates aléatoirement manquants et le modèle de régression linéaire censuré à droite. Nous proposons des méthodes d'estimation des paramètres et établissons les propriétés asymptotiques des estimateurs obtenus dans chacun de ces modèles. Dans un premier temps, nous considérons une généralisation du modèle de Cox qui permet à différents groupes de la population, appelés strates, de posséder des fonctions d'intensité de base différentes tandis que la valeur du paramètre de régression est commune. Dans ce modèle à intensité proportionnelle stratifié, nous nous intéressons à l'estimation des paramètres lorsque l'indicateur de strate est manquant pour certains individus de la population. Des estimateurs du maximum de vraisemblance non paramétrique pour les paramètres du modèle sont proposés et nous montrons leurs consistance et normalité asymptotique. L'efficacité du paramètre de régression est établie et des estimateurs consistants de sa variance asymptotique sont également obtenus. Pour l'évaluation des estimateurs du modèle, nous proposons l'utilisation de l'algorithme Espérance-Maximisation et le développons dans ce cas particulier. Dans un second temps, nous nous intéressons au modèle de régression linéaire lorsque la donnée réponse est censurée aléatoirement à droite. Nous introduisons un nouvel estimateur du paramètre de régression minimisant un critère des moindres carrés pénalisé et pondéré par des poids de Kaplan-Meier. Des résultats de consistance et normalité asymptotique sont obtenus et une étude de simulations est effectuée pour illustrer les propriétés de cet estimateur de type LASSO. La méthode bootstrap est utilisée pour l'estimation de la variance asymptotique
Life data analysis is used in various application fields. Different methods have been proposed for modelling such data. In this thesis, we are interested in two distinct modelisation types, the stratified Cox model with randomly missing strata indicators and the right-censored linear regression model. We propose methods for estimating the parameters and establish the asymptotic properties of the obtained estimators in each of these models. First, we consider a generalization of the Cox model, allowing different groups, named strata, of the population to have distinct baseline intensity functions, whereas the regression parameter is shared by all the strata. In this stratified proportional intensity model, we are interested in the parameters estimation when the strata indicator is missing for some of the population individuals. Nonparametric maximum likelihood estimators are proposed for the model parameters and their consistency and asymptotic normality are established. We show the efficiency of the regression parameter and obtain consistent estimators of its variance. The Expectation-Maximization algorithm is proposed and developed for the evaluation of the estimators of the model parameters. Second, we are interested in the regression linear model when the response data is randomly right-censored. We introduce a new estimator of the regression parameter, which minimizes a Kaplan-Meier-weighted penalized least squares criterion. Results of consistency and asymptotic normality are obtained and a simulation study is conducted in order to investigate the small sample properties of this LASSO-type estimator. The bootstrap method is used for the estimation of the asymptotic variance

Les modèles mathématiques sont à l’essence même de chaque domaine de l’ingénierie que ce soit pour le contrôle, la prédiction et le diagnostic. Dans cette thèse, nous abordons l’identification des systèmes, c’est-à-dire la modélisation d’un système dynamique avec des données expérimentales. Plus particulièrement, nous considérons l’identification par erreur de prédiction (Prediction Error). Afin d’obtenir un modèle identifié précis, les données doivent satisfaire une propriété fondamentale : l’informativité. Dans la littérature, l’informativité des données a été largement étudiée pour l’identification des systèmes linéaires une-entrée une-sortie. Peu de résultats sont néanmoins présents pour le cas des systèmes linéaires plusieurs-entrées plusieurs-sorties (multiple-inputs multiple-outputs en anglais ou MIMO) à l’heure où les systèmes deviennent de plus en plus complexe. Ainsi, nous nous focalisons en premier à développer des conditions pour vérifier que l’informativité est garantie pour l’identification des systèmes MIMO linéaires en boucle ouverte et en boucle fermée. Cependant, la plupart des systèmes réels ont des comportements non-linéaires. Heureusement, l’identification par Prediction Error peut s’avérer être un outil efficace pour identifier certaines classes de systèmes non-linéaires. C’est le cas, par exemple, de la classe des systèmes dits Hammerstein, i.e., des systèmes dont la non-linéarité se trouve à l’entrée du système. Dans cette thèse, nous étudions l’informativité des données pour l’identification d’une classe particulière de systèmes Hammerstein. Cette étude se motive par un système réel étudié dans cette thèse : le gyroscope MEMS. Un gyroscope MEMS est un micro-capteur inertiel mesurant des vitesses de rotation. Ils se distinguent des gyroscopes optiques par ses multiples avantages tels que sa petite taille, son faible coût et sa faible consommation d’énergie. Cependant, il reste moins précis que les gyroscopes optiques. Le gyroscope MEMS est alors placé en boucle fermée afin d’augmenter sa précision. Afin de faire la synthèse d’un correcteur optimal, il nous faut déterminer un modèle précis des dynamiques du gyroscope MEMS. Dans la littérature, les modèles des dynamiques du gyroscope MEMS sont souvent incomplet. Une méthode de modélisation basée sur l’identification des systèmes est alors proposée pour obtenir un modèle plus complet et précis. Nous observons alors que l’étude de l’informativité des données faite précédemment s’applique dans ce cas pratique
Mathematical models have a crucial place in every engineering field. They can be used for several purposes such as the design of a controller, the prediction, the health monitoring of a system, etc. In this thesis, we deal with system identification which is the scientific field consisting in the modeling of a system with experimental data. More particularly, we will consider the Prediction Error method. In order to get an accurate identified model, the data must guarantee one fundamental property which is the informativity. The data informativity has been largely studied for the identification of linear single-input single-output systems. However, few results can be found for the identification of linear multiple-inputs multiple-outputs (MIMO) systems. This is inconvenient since the systems get more and more complex. Hence, in the first part of this thesis, we focus on developing new conditions to verify the data informativity for the open-loop and closed-loop identification of linear MIMO systems. However, most of real-life systems have nonlinear dynamics. Fortunately, Prediction Error identification can be used as an efficient tool for the modeling of some classes of nonlinear systems such as Hammerstein systems, i.e., systems where the nonlinearity is found at the input of the system. In this thesis, we study a particular class of Hammerstein systems. The motivation of this study comes from the real-life considered in this thesis : the MEMS gyroscope. A MEMS gyroscope is a micro-sensor that measures angular rates. It has several advantages such as its small size, its low energy consumption and its cheap price. However, it is less accurate than its optical counterpart. In order to tackle this accuracy issue, the MEMS gyroscope is put in closed-loop. Of course, we want to design an optimal controller. For this purpose, we need to derive an accurate model of the dynamics of the MEMS gyroscope. In the literature, the proposed models are not enough complete. Therefore, in this thesis, we develop an identification method that yields an accurate and complete model of the dynamics of the MEMS gyroscope. We observe that the previous study of the data informativity can be applied to this real-life problem

L'objet de la thèse est de contribuer à l'étude numérique des lois de conservation hyperboliques avec termes sources, ce qui est motivé par les applications aux équations de Saint-Venant pour les eaux peu profondes. La première partie traite des questions habituelles de l'analyse des approximations numériques des lois de conservation scalaires. On se concentre sur des schémas aux volumes finis semi-discrets, dans le cas général d'un maillage non-uniforme. Pour définir des discrétisations appropriées du terme source, on introduit le formalisme spécifique de la méthode "Upwind Interface Source" et on établit des conditions sur les fonctions numériques telles que le solveur discret préserve les solutions stationnaires. Une définition rigoureuse de consistance est ensuite formulée, adaptée aux "schémas équilibres", pour laquelle on est capable de prouver un théorème de convergence faible de type Lax-Wendroff. La méthode considérée dans un premier temps est essentiellement d'ordre un en espace. Pour améliorer la précision, on développe des approches à haute résolution pour la méthode "Upwind Interface Source" et on montre que celles-ci sont un moyen efficace de dériver des schémas d'ordre plus élevé avec des propriétés convenables. On prouve une estimation d'erreur dans $L^p$, $1\le p < +\infty$, qui est un résultat optimal dans le cas d'un maillage uniforme. On conclut alors que les mêmes taux de convergence $O(h)$ et $O(h^2)$ que pour les systèmes homogènes correspondants sont valables. La deuxième partie présente un schéma numérique pour approcher les équations de Saint-Venant, avec un terme source géométrique, qui vérifie les propriétés théoriques suivantes: il préserve les états stationnaires de l'eau au repos, vérifie une inégalité d'entropie discrète, préserve la positivité de la hauteur de l'eau et reste stable avec des profiles du fond discontinus. Cela est obtenu grâce à une approche cinétique au système; dans ce contexte, on utilise une description formelle du comportement microscopique du système pour définir les flux numériques aux interfaces d'un maillage non-structuré. On utilise aussi le concept de variables conservatives centrées (typique de la méthode des volumes finis) et des termes sources décentrés aux interfaces. Finalement, on présente des simulations numériques du système des équations de Saint-Venant modifiées pour prendre en compte le frottement et la viscosité, afin de retrouver les résultats de certaines études expérimentales. Une application à la modélisation des termes de frottement pour les avalanches de neige est discutée dans l'Appendice.