Ce mémoire de maîtrise a pour but d'observer, en temps réel, l'influence de facteurs syntaxiques et sémantiques sur l'accord sujet-verbe. Afin d'avoir un regard sur les processus d'accord, nous avons examiné les temps d'écriture du verbe, et les pauses avant le verbe, avant la flexion verbale et après le verbe. Une analyse des erreurs produites a aussi été effectuée. Trente-deux participants ont écrit à l'ordinateur des phrases dictées. L'écran était soit un syntagme prépositionnel, soit une subordonnée relative. La force sémantique entre l'écran et le verbe variait également selon les phrases. Les résultats des analyses statistiques multiniveaux montrent une influence de la configuration syntaxique de l'écran sur les processus d'accord sujet-verbe. Lorsque l'écran est un syntagme prépositionnel, les pauses avant la flexion verbale, après le verbe et les temps d'écriture du verbe sont plus longs que lorsque l'écran est une subordonnée relative. Par contre, aucun effet sémantique n'a été observé dans l'analyse des temps et des pauses. Les résultats sur les erreurs non corrigées indiquent un effet de la force sémantique entre l'écran et le verbe. Les résultats de l'analyse chronométrique, qui appuient les résultats sur les erreurs d'attraction observés dans la très grande majorité des études, permettent de mettre en relief l'influence respective des aspects syntaxiques et sémantiques sur les processus d'accord sujet-verbe. Par ailleurs, ce travail légitime l'observation des pauses et des temps d'écriture comme une méthode complémentaire pertinente à l'étude de l'accord verbal. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : accord sujet-verbe, écriture en temps réel, syntaxe, sémantique, processus cognitifs.

La multiplication des plate-formes embarquées disponibles sur le marché rend de plus en plus complexe le choix d'une plate-forme pour un produit. L'arrivée des architectures multi-processeurs augmente encore plus ce phénomène. Dans le contexte industriel actuel, il est nécessaire de disposer d'une méthodologie et des outils associés permettant d'évaluer rapidement ces plate-formes et celles qui apparaitront dans le futur sur le marché afin de faire des premiers choix tôt dans le cycle de conception des produits. Précédemment, il était nécessaire d'attendre l'arrivée sur le marché des plate-formes de test afin d'exécuter sur ces plate-formes des benchmarks et des applications afin d'évaluer leur performance et leur consommation. Nous proposons ici une méthodologie et les outils associés permettant de modéliser un système (logiciel et matériel) puis d'estimer ses performances et sa consommation d'énergie. Notre méthodologie s'appuie sur des modèles simples à mettre en œuvre utilisant uniquement des informations présentes dans les documents techniques des constructeurs. Autre avantage de notre approche, la simulation réalisée s'appuie sur du code exécutable généré automatiquement afin de s'exécuter en natif sur un ordinateur. Cela permet une exécution rapide des scénarios de test et offre la possibilité de faire de l'exploration d'architectures. Nous avons procédé à diverses validations en utilisant des applications variées (décodeur H.264, application radio, benchmarks classiques, ...) et en comparant les performances et la consommation estimée avec l'équivalent sur des plate-formes réelles (OMAP3/4, i.MX6, QorIQ, ...). Cela a permis d'évaluer l'erreur d'estimation de FORECAST (l'outil développé lors de cette thèse) et ainsi de s'assurer que le taux d'erreur reste dans des bornes admissibles c'est-à-dire inferieures à 20%. Nous avons d'un autre côté comparé notre approche avec celles développées dans deux autres projets OpenPEOPLE (ANR) et COMCAS (Catrene) afin de s'assurer que le rapport effort/précision de notre approche est intéressant.

L'intégration des énergies renouvelables a conduit à introduire la notion d'utilisation locale de ces nouvelles sources de production. Nous pouvons définir le paradigme de microréseau comme une agrégation de plusieurs sources d'énergie distribuée qui peuvent alimenter leurs charges locales. Ces microréseaux peuvent être îlotables pour garantir la continuité de service et l'alimentation des charges. Pour assurer la fiabilité du réseau, une stratégie de protection des générateurs et du microréseau lui-même a été proposée. Dans ce mémoire, les points communs et les différences entre les générateurs classiques et les générateurs connectés au réseau à l'aide de convertisseur d' d'électronique de puissance sont présentés. Ensuite, nous présentons la conception d'une source de tension à base d'une micro-turbine à gaz comme source d'énergie primaire contrôlable. Nous étudions les possibilités pour le générateur de demeurer connecté dans les conditions du creux de tension (fault-ride-through) tout en étant protégé contre les surintensités. Nous avons proposé deux solutions différentes permettant de limiter ces courants du générateur. De plus, pour assurer la continuité d'alimentation des charges en deux modes de fonctionnement, nous avons intégré un détecteur de l'ilotage basé sur le relais ROCOF dans le système de commande du générateur. Une validation expérimentale pour ces travaux a été réalisée en utilisant la simulation temps réel PHIL. Finalement, un plan de protection coordonnée valide dans les deux modes de fonctionnement et avec les différents types de source est présenté. Cette stratégie a été testée sur un exemple de microréseau simulé sur le simulateur temps réel

non disponible

Ce document donne une synthèse des travaux de recherche de l'auteur autour du thème instrumentation dans trois domaines applicatifs. Des techniques de traitement du signal associées à de la télémesure ont été mises en œuvre dans le domaine médical. Des études d'écoulements d'air à faibles nombres de Reynold sont ensuite présentées, en mettant l'accent sur l'acquisition et le traitement en temps réel des images PIV et de suivi de structure mis en place spécifiquement.<br /> Enfin, des méthodes optiques associées à des techniques de traitements d'images ont été utilisées dans le cadre d'étude de transfert de chaleur entre une pièce usinée et l'outil.

Cette thèse présente un schéma formel et efficace pour la vérification de systèmes temps-réel. Ce schéma repose sur la combinaison par abstraction de techniques déductives et de model checking, et cette combinaison permet de contourner les limites de chacune de ces techniques. La méthode utilise le raffinement itératif abstrait (IAR) pour le calcul d'abstractions finies. Etant donné un système de transitions et un ensemble fini de prédicats, la méthode détermine une abstraction booléenne dont les états correspondent à des ensembles de prédicats. La correction de l'abstraction par rapport au système d'origine est garantie en établissant un ensemble de conditions de vérification, issues de la procédure IAR. Ces conditions sont à démontrer à l'aide d'un prouveur de théorèmes. Les propriétés de sûreté et de vivacité sont ensuite vérifiées par rapport au modèle abstrait. La procédure IAR termine lorsque toutes les conditions sont vérifiées. Dans le cas contraire, une analyse plus fine détermine si le modèle abstrait doit être affiné en considérant davantage de prédicats. Nous identifions une classe de diagrammes de prédicats appelés PDT (Predicate Diagram for Timed system) qui décrivent l'abstraction et qui peuvent être utilisés pour la vérification de systèmes temporisés et paramétrés.

CE MEMOIRE EST CONSACRE A LA CONCEPTION D'UN SUPPORT DE COMMUNICATION SUR DE FONCTIONNEMENT, A TEMPS D'ACCES BORNE ET FAIBLE, POUR SYSTEMES DISTRIBUES DE SURVEILLANCE ET SECURITE. L'ANALYSE EFFECTUEE CONDUIT A UNE APPROCHE PAR DOUBLE DECOMPOSITION INTEGRANT LA VALIDATION PROGRESSIVE DES CHOIX: LA CONCEPTION EST MENEE PAR AFFINEMENTS SUCCESSIFS, CONJOINTEMENT SUR PLUSIEURS NIVEAUX D'ABSTRACTION AFIN DE PRENDRE EN COMPTE L'ENSEMBLE DES CONTRAINTES ET DE LEURS INTERACTIONS

La complexité temporelle, logique et sémantique des systèmes multimédias et hypermédias rend nécessaire l'utilisation de techniques formelles permettant de spécifier ces systèmes et de vérifier, en préalable à leur conception, leurs propriétés logiques et temporelles. Cette thèse introduit une nouvelle technique de modélisation de systèmes multimédias et hypermédias basée sur le formalisme des réseaux de Pétri étendus par le temps. Ce modèle appelé Réseaux de Petri à Flux Temporels (RdPFT) permet de spécifier l'indéterminisme temporel intrinsèque aux systèmes distribués multimédias en associant un intervalle temporel aux arcs sortant des places d'un réseau de Petri. Les RdPFT introduisent de plus une sémantique formelle de la synchronisation en environnement faiblement synchrone. Cette sémantique formelle, définie à l'aide de 9 types de règles de tir pouvant être sélectivement associées aux transitions d'un RdPFT, permet de maîtriser l'indéterminisme de synchronisation introduit par la variabilité temporelle des traitements. Ainsi, les RdPFT permettent de modéliser de façon complète, précise et aisée les contraintes de synchronisation des systèmes multimédias. Cette thèse considère également la classe des RdPFT construits à l'aide des opérateurs de l'algèbre temporelle de Allen. Cette classe, appelée Réseaux de Petri Structurés à Flux Temporels (RdPSFT), permet une vérification aisée des propriétés temporelles d'un système multimédia et offre de plus des bases formelles pour la représentation abstraite des structures logiques et temporelles d'un système multimédia. Finalement cette thèse introduit une extension des RdPFT, appelée Réseaux de Petri Hiérarchisés à Flux Temporels (RdPHFT). Cette extension, bénéficiant de tous les acquis théoriques des RdPFT, permet de modéliser à l'aide d'un formalisme unificateur les composants d'un système hypermédia et introduit une sémantique formelle de la notion de synchronisatio n hypermédia. De plus les RdPHFT offrent un support méthodologique permettant une spécification modulaire et hiérarchisée des systèmes hypermédias, et plus généralement des systèmes "à contraintes temporelles"

Dans cette thèse, nous résolvons le problème de reconstruire simultanément une représentation de la géométrie du monde, de la trajectoire de l'observateur, et de la trajectoire des objets mobiles, à l'aide de la vision. Nous divisons le problème en trois étapes : D'abord, nous donnons une solution au problème de la cartographie et localisation simultanées pour la vision monoculaire qui fonctionne dans les situations les moins bien conditionnées géométriquement. Ensuite, nous incorporons l'observabilité 3D instantanée en dupliquant le matériel de vision avec traitement monoculaire. Ceci élimine les inconvénients inhérents aux systèmes stéréo classiques. Nous ajoutons enfin la détection et suivi des objets mobiles proches en nous servant de cette observabilité 3D. Nous choisissons une représentation éparse et ponctuelle du monde et ses objets. La charge calculatoire des algorithmes de perception est allégée en focalisant activement l'attention aux régions de l'image avec plus d'intérêt.

La présente recherche vise à décrire les dispositifs de production et à analyser les relations entre curriculums formel, potentiel, réel et vécu. L'analyse porte principalement sur les constructions de séquences scolaires proposées et les expériences vécues par les élèves. Un premier résultat s'applique au curriculum potentiel adapté à un contexte particulier, le"curriculum possible". Contraintes scolaires, organisations, représentations des enseignants concernant les activités de production constituent les principales caractéristiques en jeu dans la conception de la situation initiale de production. L'ajustement permanent des dispositifs aux élèves et aux circonstances et réciproquement constitue un second résultat relatif au curriculum vécu. Les caractéristiques des deux formes de curriculums montrent qu'il est impossible aux élèves d'établir des relations entre les pratiques de production scolaire avec des pratiques externes à l'école ce qu'exigent les programmes de la discipline.