À ce jour, le rôle des oscillations bêta n’a pas encore été clairement établi. Des travaux récents ont montré que l’activité bêta pendant la préparation du mouvement et celle suivant son exécution sont différemment modulées par les erreurs de mouvements. L’objectif du présent travail a été double : premièrement, déterminer si les modulations de puissance bêta pré- et post-mouvement recrutent des substrats cérébraux différents, deuxièmement, mieux cerner la nature des processus neuronaux reflétés. Grâce à une approche par analyse en composantes indépendantes, nous suggérons fortement que les réponses oscillatoires, aux erreurs cinématiques, observées avant et après le mouvement sont sous-tendues par des structures distinctes, respectivement clairement latéralisées et médiales. De plus, en contrastant différentes tâches motrices, nous montrons que ni l’une ni l’autre des deux activités bêta ne reflètent des mécanismes en lien direct avec les sorties motrices. / The role of beta oscillations has not been clearly established yet. Recent work has shown that the beta activities observed during the preparation phase and after the movement are differently affected by movement errors. The aim of this thesis was twofold: first, to determine whether or not the pre- and post-movement beta power modulations recruit common neural substrates; second, to better understand the nature of the reflected neural processes. Using an independent component analysis approach, we strongly suggest that oscillatory responses to kinematic errors, observed before and after movement, are underpinned by distinct neural structures, respectively clearly lateralized and medial. Moreover, by contrasting different motor tasks, we show that neither of the two beta activities reflects mechanisms directly related to the output of the motor command.

L'augmentation de la capacité d'intégration des circuits a permis le développement des systèmes de plus en plus complexes. De cette complexité sont nés des besoins conséquents quant aux méthodes de conception et de vérification. Les outils de synthèse de haut-niveau (HLS) sont une des réponses à ces besoins. Les travaux présentés dans cette thèse ont pour cadre l'amélioration du processus de vérification des architectures matérielles synthétisées par HLS. En particulier, ils proposent une méthode pour la transformation des assertions booléennes spécifiées dans la description algorithmique d'une application en moniteurs matériels pour la simulation. Une deuxième méthode est proposée. Elle cible la synthèse automatique d'un gestionnaire d'erreurs matériel dont le rôle est d'archiver les erreurs survenant dans un circuit en fonctionnement réel, ainsi que leurs contextes d'exécution. / The fast growing complexity of hardware circuits, during the last three decades, has change devery step of their development cycle. Design methods evolved a lot, and this evolutionwas necessary to cope with an always shorter time-to-market, mainly driven by the internationalcompetition.An increased complexity also means more errors, harder to find corner-cases, and morelong and expensive simulations. The verification of hardware systems requires more andmore resources, and is the main cost factor of the whole development of a circuit. Since thecomplexity of any system increases, the cost of an error undetected until the foundry stepbecame prohibitive. Therefore, the verification process is divided between multiple stepsinvolved at every moment of the design process : comparison of models behavior, simulationof RTL descriptions, formal analysis of algorithms, assertions usage, etc. The verificationmethodologies evolved a lot, in order to follow the progress of design methods. Somemethods like the Assertion-Based Verification became so important that they are nowwidely adopted among the developers community, providing near-source error detection.Thus, the work described here aims at improving the assertion-based verification process,in order to offer a consequent timing improvment to designers. Two contributions aredetailed. The first one deals with the transformation of Boolean assertions found in algorithmicdescriptions into equivalent temporal assertions in the RTL description generatedby high-level synthesis (HLS) methodologies. Therefore, the assertions are usable duringthe simulation process of the generated architectures. The second contribution targets theverification of hardware systems in real-time. It details the synthesis process of a hardwareerror manager, which has to save and serialize the execution context when an error isdetected. Thus, it is easier to understand the cause of an error and to find its source. Theerrors and their contexts are serialized as reports in a memory readable by the system ordirectly by the designer. The behavior of a circuit can be analyzed without requiring anyprobe or integrated logic analyzer.

Depuis l’apparition de l’automobile, l’action du conducteur est mise en avant comme l’une des principales causes de l’insécurité routière. Or, la recherche en accidentologie montre que la conduite est une activité plus complexe qu'il n'y paraît, le conducteur n'étant qu'un opérateur final, intervenant à la jonction de composantes qu’il n'a pas toujours la capacité de maîtriser . En effet, l’accident résulte d’un dysfonctionnement dans l’interaction des éléments d’un système articulé qui comprend l’environnement routier, le véhicule et l’intervenant humain. Ainsi, il est possible de trouver, très en amont du choc, des faits ayant contribué à la mise en place de la situation accidentogène. Le conducteur doit en permanence ajuster son activité à l’environnement dans lequel il évolue et faire face à des situations conflictuelles. Pourtant, cette complexité est rarement prise en compte dans l’appréciation des faits . Lorsqu'il est question d'accident de la circulation, tout un chacun a fortement tendance à raisonner en termes de responsabilité et de faute, attribuable à tel ou tel protagoniste, notamment, celui qui se trouve en première ligne : le conducteur. Or, la notion de faute du conducteur reste une notion ambigüe dans la mesure où elle se présente d’une part comme un fait, générateur d’un dommage causé à autrui (et imputable à la conduite du sujet de droit), et d’autre part comme une qualité de ce fait, résultant de l’appréciation portée par un juge (le manquement à la norme). Ainsi, il est demandé au juge d’apprécier dans chaque cas d’espèce le caractère à risque des situations auxquelles sont confrontés les conducteurs. Les indices élaborés en accidentologie, sur la base de connaissances et de vérités de type scientifique, permettent théoriquement d’établir des constats qui reflètent la réalité des faits et aident les juges dans l’appréciation des événements soumis à leur examen. Ainsi, dans chaque cas, le risque inhérent à la circulation routière rend nécessaire une relecture fine du comportement erroné ou fautif du conducteur.Le travail présenté ici ne s’intéressera qu’accessoirement à la question de savoir si le conducteur est « fautif » ou « responsable ». Notre interrogation portera plutôt sur les moyens de faire évoluer la situation juridique du conducteur et de permettre au juge d’appréhender à la fois le pouvoir et les moyens dont le conducteur dispose potentiellement mais aussi les difficultés inhérentes à l’activité de conduite.La thèse mobilise les compétences en droit civil et en droit pénal pour dresser un bilan des textes applicables, de la doctrine, et de la jurisprudence qui aborde les questions telles que les circonstances contributives à l’accident, mettant en jeu différents facteurs. La forte évolution de l'utilisation des véhicules au cours des dernières décennies appelle la mise en œuvre de mesures juridiques ciblées qui s'appuient sur les résultats de la recherche en accidentologie, notamment celle qui analyse le comportement du conducteur en le resituant dans un système d’une grande complexité. / For many decades, the problem of road safety was primarily focused on drivers behaviour. Further studies in accident research show that driving is a complex activity; the driver is only the final regulatory mechanism that cannot always be controlled. Accidents result from different malfunctions within different interactions of these following elements : humans, vehicles and road environments. The malfunctions can be predictable. The situations governing the accidents can be related back to occurrences prior to their happening. Often the legal complications of an accident result from varying proportions of fault. Factors might include conditions in the general atmosphere of the occurrence. Implications of fact can also be qualified differently depending on the level of driving skills of people involved.The range of participants in legal proceedings spans private and public figures as well as legal advisors. These partakers must determine levels of fault and thus help direct judgment. The thesis herein is intended to mobilize experts in several areas of law: criminal law, civil law and labor law. Research sources for this writing were primarily public court records related to accidents, as well as the minutes and recorded details of accident studies done by IFSTTAR. Further resources include research of experts in the field of accidentology, including assessments of expert studies by IFSTTAR.

Dans l’apprentissage du français écrit, la norme orthographique représente un lieu de difficulté majeure. Confronté à des complexités multiples, tout scripteur aura un long trajet à parcourir avant d’arriver à la maîtrise complète des traitements orthographiques, et ceci est sans doute d’autant plus vrai lorsqu’il s’agit de s’approprier le système orthographique du français dans une langue étrangère. Cette étude vise donc à analyser la réalisation orthographique, chez les apprenants chinois du français L2. Pour ce faire, nous examinons les données issues d’une tâche écrite semi-spontanée, en nous attachant plus particulièrement au profil développemental des apprenants chinois, et leur tendances interlangagières face aux problèmes de l’orthographe lexicale, de l’accord en nombre et genre et de la morphologie verbale. En outre, une analyse des erreurs commises par les apprenants, ainsi que les explications possibles pour interpréter ces erreurs sont également présentées, en faisant référence aux caractéristiques spécifiques de l’apprentissage de la langue étrangère. / In the area of written French, the orthographic learning represents a major difficulty. Faced with multiple complexities, any writer will have a long way to go before arriving at the complete control of spelling, and this is probably more true when it comes to appropriating this French system in a foreign language which is typologically distinct from the French language. This study aims to analyze the orthographic realization in French L2, for Chinese learners. To do this, we examine data from a semi-spontaneous writing task, focusing in particular on the developmental profile of learners, and their interlanguage tendencies in relation to the problems of lexical orthography, number/gender agreement, and verbal morphology. In addition, an errors analysis as well as possible explanations for interpreting these errors are also presented, with reference to the specific characteristics of L2 learning.

L'activité de "pronostic de défaillances" est aujourd'hui considérée comme un processus clef dans les stratégies de maintenance industrielle. Cependant, dans la pratique, les outils de pronostic sont encore rares. Les approches aujourd'hui stabilisées reposent sur un historique des incidents assez conséquent pour être représentatif des événements potentiellement prévisibles. L'objet de cette thèse est de proposer un "outil" permettant de prédire la dégradation d'un équipement sans connaissance a priori sur son comportement, et de générer les indicateurs de pronostic permettant d'optimiser les stratégies de maintenance. Dans cet objectif, notre contribution se décline en trois aspects complémentaires.<br>- Un premier volet de travail traite de la formalisation du processus de pronostic. Le concept de pronostic est défini et positionné par rapport aux stratégies de maintenance. Différents mesures typées pronostic sont proposées et les outils utilisables dans ce contexte sont étudiés (nature, applicabilité, guide de choix).<br>- Le coeur du travail porte ensuite sur la spécification d'un système neuro-flou permettant de reproduire l'évolution des propriétés d'un équipement, et de prédire un état de dégradation au cours du temps. Plus précisément les développements visent la proposition d'une architecture neuro-floue permettant de satisfaire un objectif de contrôle de l'erreur de prédiction, quel que soit l'horizon de prédiction.<br>- Nous développons finalement une approche floue/possibiliste d'adaptation des processus classiques d'évaluation prévisionnelle des grandeurs de sûreté de fonctionnement au cas prédictif (fiabilité, MTTF). Ces indicateurs doivent permettre in fine d'optimiser les stratégies de maintenance en tenant compte de l'incertitude inhérente à l'étape de prédiction des dégradations.

.

.

Cette thèse se compose de deux parties indépendantes : une recherche mathématique sur la décision statistique séquentielle et une recherche sur les chaines de Markov et leur application à l'étude des défauts de page en programmation

Les erreurs humaines et les interruptions sont des phénomènes courants mais négligés, voire ignorés, dans le processus de développement des systèmes interactifs. En outre, leur automatisation massive n'a pas éliminé erreurs et interruptions, mais en a accentué le caractère critique. Ce mémoire a pour objet l'amélioration de la fiabilité des systèmes homme-machine par la prise en compte explicite des erreurs et des interruptions dans la pratique de l'Ingénierie de l'Interaction Homme-Machine. Nous appliquons notre étude au cas exigeant des systèmes critiques automatisés et notamment aux systèmes aéronautiques, pour lesquels les erreurs humaines et les interruptions ont une importance décisive. Dans la première partie du mémoire, dédiée aux concepts, nous présentons une revue des recherches sur l'automatisation et sur l'analyse des erreurs humaines telle que l'envisage la psychologie cognitive. A notre tour, nous proposons le concept de singularité comme notion pivot aux phénomènes d'erreur et d'interruption. Nous en fournissons un modèle qui explicite les activités mentales en relation avec la détection et la correction de singularité. La seconde partie du mémoire a trait à l'expression formelle des singularités dans le processus de développement d'un système interactif. Après une revue des formalismes et des notations utilisés en Interaction Homme-Machine, nous retenons MAD, UAN et les réseaux de Petri pour leurs qualités et leur usage complémentaires. Pour chacun, nous proposons les extensions nécessaires à l'expression des singularités. Nous fournissons également les règles de traduction de ces extensions entre les trois formalismes retenus, évitant ainsi la perte de conformité au cours du processus de développement d'un système.

Les GNSS sont désormais largement présents dans le domaine des transports. Actuellement, la communauté scientifique désire développer des applications nécessitant une grande précision, disponibilité et intégrité.Ces systèmes offrent un service de position continu. Les performances sont définies par les paramètres du système mais également par l'environnement de propagation dans lequel se propagent les signaux. Les caractéristiques de propagation dans l'atmosphère sont connues. En revanche, il est plus difficile de prévoir l'impact de l'environnement proche de l'antenne, composé d'obstacles urbains. L'axe poursuivit par le LEOST et le LAGIS consiste à appréhender l'environnement et à utiliser cette information en complément de l'information GNSS. Cette approche vise à réduire le nombre de capteurs et ainsi la complexité du système et son coût. Les travaux de recherche menés dans le cadre de cette thèse permettent principalement de proposer des modélisations d'erreur de pseudodistances et des modélisations de l'état de réception encore plus réalistes. Après une étape de caractérisation de l'erreur, plusieurs modèles d'erreur de pseudodistance sont proposés. Ces modèles sont le mélange fini de gaussiennes et le mélange de processus de Dirichlet. Les paramètres du modèle sont estimés conjointement au vecteur d'état contenant la position grâce à une solution de filtrage adaptée comme le filtre particulaire Rao-Blackwellisé. L'évolution du modèle de bruit permet de s'adapter à l'environnement et donc de fournir une localisation plus précise. Les différentes étapes des travaux réalisés dans cette thèse ont été testées et validées sur données de simulation et réelles.