La phrase verbale noyau en français

La phrase verbale noyau en français, caractérisée comme la chaîne de mots qui comprend clitiques, auxiliaire, noyau verbal, particules de négation, l'adverbe toujours et la forme tous est étudiée dans un cadre -- libellé 5P -- qui essaye d'intégrer observation, test et calcul -- c'est-à-dire les activités essentielles de toute science du réel -- dans l'étude des phénomènes linguistiques. Le cadre 5P est présenté dans ses caractéristiques essentielles. Les Propriétés permettant de spécifier, sous certaines conditions d'observation, les phrases verbales noyau sont définies, de même que le calcul à effectuer pour générer tous les conséquences de ces Propriétés -- c'est-à-dire les suites qui sont des phrases verbales noyau en français. On montre, par ailleurs, les possibilités de calcul à partir de ces suites. Les caractéristiques de modularité et d'incrémentalité du système sont illustrées, et celui-ci est mis en perspective par rapport à d'autres points de vue qui ont cours en linguistique

Fonctions de coût pour l'estimation des filtres acoustiques dans les mélanges réverbérants

On se place dans le cadre du traitement des signaux audio multicanaux et multi-sources. À partir du mélange de plusieurs sources sonores enregistrées en milieu réverbérant, on cherche à estimer les réponses acoustiques (ou filtres de mélange) entre les sources et les microphones. Ce problème inverse ne peut être résolu qu'en prenant en compte des hypothèses sur la nature des filtres. Notre approche consiste d'une part à identifier mathématiquement les hypothèses nécessaires sur les filtres pour pouvoir les estimer et d'autre part à construire des fonctions de coût et des algorithmes permettant de les estimer effectivement. Premièrement, nous avons considéré le cas où les signaux sources sont connus. Nous avons développé une méthode d'estimation des filtres basée sur une régularisation convexe prenant en compte à la fois la nature parcimonieuse des filtres et leur enveloppe de forme exponentielle décroissante. Nous avons effectué des enregistrements en environnement réel qui ont confirmé l'efficacité de cet algorithme. Deuxièmement, nous avons considéré le cas où les signaux sources sont inconnus, mais statistiquement indépendants. Les filtres de mélange peuvent alors être estimés à une indétermination de permutation et de gain près à chaque fréquence par des techniques d'analyse en composantes indépendantes. Nous avons apporté une étude exhaustive des garanties théoriques par lesquelles l'indétermination de permutation peut être levée dans le cas où les filtres sont parcimonieux dans le domaine temporel. Troisièmement, nous avons commencé à analyser les hypothèses sous lesquelles notre algorithme d'estimation des filtres pourrait être étendu à l'estimation conjointe des signaux sources et des filtres et montré un premier résultat négatif inattendu : dans le cadre de la déconvolution parcimonieuse aveugle, pour une famille assez large de fonctions de coût régularisées, le minimum global est trivial. Des contraintes supplémentaires sur les signaux sources ou les filtres sont donc nécessaires.This work is focused on the processing of multichannel and multisource audio signals. From an audio mixture of several audio sources recorded in a reverberant room, we wish to estimate the acoustic responses (a.k.a. mixing filters) between the sources and the microphones. To solve this inverse problem one need to take into account additional hypotheses on the nature of the acoustic responses. Our approach consists in first identifying mathematically the necessary hypotheses on the acoustic responses for their estimation and then building cost functions and algorithms to effectively estimate them. First, we considered the case where the source signals are known. We developed a method to estimate the acoustic responses based on a convex regularization which exploits both the temporal sparsity of the filters and the exponentially decaying envelope. Real-world experiments confirmed the effectiveness of this method on real data. Then, we considered the case where the sources signal are unknown, but statistically independent. The mixing filters can be estimated up to a permutation and scaling ambiguity. We brought up an exhaustive study of the theoretical conditions under which we can solve the indeterminacy, when the multichannel filters are sparse in the temporal domain. Finally, we started to analyse the hypotheses under which this algorithm could be extended to the joint estimation of the sources and the filters, and showed a first unexpected results : in the context of blind deconvolution with sparse priors, for a quite large family of regularised cost functions, the global minimum is trivial. Additional constraints on the source signals and the filters are needed.RENNES1-Bibl. électronique (352382106) / SudocSudocFranceF

Arithmétique flottante

Ce document rassemble des notes d'un cours donné en 2003 dans la filière Algorithmique Numérique et Symbolique du DEA d'Informatique de l'Université Henri Poincaré Nancy 1. Ces notes sont basées en grande partie sur le livre Elementary Functions. Algorithms and Implementation de Jean-Michel Muller

Forage non supervisé de données pour la prédiction d'activités dans les habitats intelligents

L'intelligence ambiante, par opposition à l'informatique traditionnelle dont l'ordinateur de bureau est l'archétype, consiste en une nouveauté qui tient aux capacités de mobilité et d'intégration des systèmes numériques dans le milieu physique au point de s'y confondre. Cette mobilité et cette fusion rendues possibles par la miniaturisation et la puissance des composants électroniques, par l'omniprésence des réseaux sans fil, et par la chute des coûts de production, permettent, à leur tour, d'entrevoir la composition opportuniste de dispositifs et de services de toutes sortes au-dessus d'une infrastructure à granularité et géométrie variable, dotée de facultés de capture, d'action, de traitement, de communication et d'interaction. Une de ces infrastructures émergentes est le concept d'habitat intelligent à base d'agents ambiants pour l'assistance et le maintien à domicile des personnes âgées ou fragiles. La combinaison de ce nouveau concept avec des techniques issues du domaine de la reconnaissance d'activités en intelligence artificielle augmentera considérablement son acceptation en procurant davantage une meilleure qualité de vie. La reconnaissance d'activités a pour but de prédire le comportement d'une personne en vue d'offrir, au moment opportun et sans intrusion, les services appropriés sans être rejetés par les habitants. L'existence de fonctions de reconnaissance, complétée par d'autres fonctions numériques de captures à travers des senseurs à la fine pointe de la technologie, permet à aux chercheurs de s'organiser pour offrir de nouveaux services. Le premier pas fondamental de l'assistance est de reconnaître les activités de la vie quotidienne (AVQ) de l'habitant durant leurs exécutions, dans le but d'identifier les problèmes potentiels qui peuvent interférer dans leurs réalisations. Cette difficulté correspond en fait à une forme particulière d'une problématique bien connue en intelligence artificielle : la reconnaissance de plans. Un plan correspond à une suite d'actions élémentaires représentant une activité donnée. Toutefois, il est encore très difficile de nos jours d'identifier toutes les activités quotidiennes des utilisateurs. C'est pourquoi de nombreuses recherches sont effectuées afin d'améliorer les différents aspects de la reconnaissance d'activités. De notre côté, nous allons nous concentrer sur l'amélioration de l'aspect spatial de la reconnaissance, car très peu de modèles existants l'intègrent. Ce mémoire fournit des pistes de solutions aux problèmes décrits en utilisant le Flocking comme méthode de forage de données non supervisé pour la prédiction d'activités dans les habitats intelligents. Ce nouveau modèle de segmentation permet entre autres une reconnaissance exacte du nombre d'activités effectuées durant une journée, sans avoir besoin de savoir quelles sont exactement les activités faites. Les résultats ont été analysés et comparés avec les approches existantes de segmentation pour évaluer la contribution du modèle

Modélisation de signaux électromyographiques par des processus de renouvellement - Filtre bayésien pour l'estimation séquentielle de paramètres à destination de la commande d'une prothèse d'avant-bras

soumise aux rapporteurs le 25/10/13We deal with intramuscular electromyographical signals (iEMG signals) taken in the muscles of a human upper limb. iEMG signal are an image of the control of the central nervous system on the muscles. They are made of a superimposition of wavelet trains, each wavelet codes a group of muscle fibers and its discharge rate codes the force developed by the group. The objective is to extract sequentially pieces of information from the signal iEMG. We believe that this information may be used to control an upper limb prosthesis. In the first place, we model a spike train as a Markov chain and we present mass functions to model the inter-spike intervals. The discrete Weibull mass function holds our attention: we realize an online estimation of its parameters. Secondly, we model the iEMG signal with a hidden Markov model based on the above model of spike train. We are able to propagate sequentially Bayes estimator of the parameters of the hidden Markov model with a Bayes filter, particularly the shapes of the wavelets and their discharge rates. Finally, we propose a method to estimate the number of wavelet trains, a discrete parameter of the model. We confirm the proposed methods and algorithms on simulated signals and iEMG signals.Nous traitons des signaux électromyographiques intramusculaires (signaux iEMG) relevés dans les muscles de l'avant-bras. Les signaux iEMG représentent une image de la commande du système nerveux central vers les muscles. Ils se composent d'une superposition de trains d'ondelettes, chaque ondelette code un groupe de fibres musculaires et son taux de mise à feu code l'effort produit par ce groupe. L'objectif est d'extraire de façon séquentielle des informations du signal iEMG. Nous espérons que ces informations se révèleront utiles pour la commande d'une prothèse d'avant-bras. En premier lieu, nous modélisons un train d'impulsions comme une chaîne de Markov et nous discutons des lois pouvant caractériser le temps entre deux impulsions. La loi de Weibull discrète a retenu notre attention. Nous avons mis en place une méthode d'estimation en ligne de ses paramètres. En second lieu, nous modélisons le signal iEMG par un modèle de Markov caché s'appuyant sur le modèle de train d'impulsions ci-dessus. La mise en place d'un filtre bayésien nous permet de propager séquentiellement une estimation bayésienne des paramètres du modèle de Markov caché, en particulier la forme des ondelettes et leur taux de mise à feu. Nous proposons finalement une méthode d'estimation du nombre de trains d'ondelettes, un paramètre discret du modèle. Nous validons les méthodes et algorithmes proposés sur des signaux simulés et des signaux iEMG

Conception d'un micro capteur d'image CMOS à faible consommation d'énergie pour les réseaux de capteurs sans fil

This research aims to develop a vision system with low energy consumption for Wireless Sensor Networks (WSNs). The imager in question must meet the specific requirements of multimedia applications for Wireless Vision Sensor Networks. Indeed, a multimedia application requires intensive computation at the node and a considerable number of packets to be exchanged through the transceiver, and therefore consumes a lot of energy. An obvious solution to reduce the amount of transmitted data is to compress the images before sending them over WSN nodes. However, the severe constraints of nodes make ineffective in practice the implementation of standard compression algorithms (JPEG, JPEG2000, MJPEG, MPEG, H264, etc.). Desired vision system must integrate image compression techniques that are both effective and with low-complexity. Particular attention should be taken into consideration in order to best satisfy the compromise "Energy Consumption - Quality of Service (QoS)".Ce travail de recherche vise à concevoir un système de vision à faible consommation d'énergie pour les réseaux de capteurs sans fil. L'imageur en question doit respecter les contraintes spécifiques des applications multimédias pour les réseaux de capteurs de vision sans fil. En effet, de par sa nature, une application multimédia impose un traitement intensif au niveau du noeud et un nombre considérable de paquets à échanger à travers le lien radio, et par conséquent beaucoup d'énergie à consommer. Une solution évidente pour diminuer la quantité de données transmise, et donc la durée de vie du réseau, est de compresser les images avant de les transmettre. Néanmoins, les contraintes strictes des noeuds du réseau rendent inefficace en pratique l'exécution des algorithmes de compression standards (JPEG, JPEG2000, MJPEG, MPEG, H264, etc.). Le système de vision à concevoir doit donc intégrer des techniques de compression d'image à la fois efficaces et à faible complexité. Une attention particulière doit être prise en compte en vue de satisfaire au mieux le compromis "Consommation énergétique - Qualité de Service (QoS)"

Suivi des signes vitaux à l’éveil d’une souris non restreinte

Introduction. Le suivi des signes vitaux d’une souris à l’éveil est crucial pour le suivi post-opératoire, tester des médicaments, l’évaluation comportementale et du stress. L’étalon or actuel est la télémétrie qui nécessite une implantation par chirurgie avec les inconvénients qui l’accompagne. Cette étude propose trois méthodes non-invasives différentes pour mesurer le rythme cardiaque et respiratoire de la souris sans induire de stress : le radar modulé en fréquence, la matrice piézoélectrique et les électrodes de surfaces couplées à un piézoélectrique. Les objectifs sont : un faible coût de fabrication, un dispositif autonome ne nécessitant pas l’intervention de l’usager, une transmission des données sans-fil ainsi qu’une mesure robuste des deux signes vitaux. Méthode. Le matériel a été fabriqué à l’aide de Kicad pour les circuits imprimés et Catia V5 pour la modélisation 3D. Le logiciel des trois prototypes a été implémenté en C/C++ dans Psoc Creator de Cypress semiconductor et Visual Studio 2017. La faisabilité de la technique radar est testée sur souris (C57BL/6) anesthésiée par isofluorane dont l’ECG est mesuré à l’aide d’une plateforme de suivi de petit animaux validée (Labeo Technologies). Le radar est ensuite validé sur souris éveillée et restreinte dont l’ECG est mesuré à l’aide d’électrodes sous-cutanées (électrodes implantées). Le système est finalement testé sur souris éveillé dans sa cage, non restreinte. La faisabilité de la matrice piézoélectrique est testée sur souris anesthésiée par isofluorane dont l’ECG est mesuré simultanément à l’aide d’électrodes sous-cutanées (aiguilles ECG). La matrice de piézoélectriques est deposée dans une cage pour 24h et testée sur souris éveillée. Concernant le système d’électrodes de surface couplées à un piézoélectrique, la faisabilité est validée sur souris éveillée restreinte à la surface du dispositif. Finalement, le système est testé sur souris éveillée dans sa cage, non restreinte. Toutes les données fuent analysées avec Matlab2017b. Résultats. Sous anesthésie, l’erreur moyenne est de 4 % et 3 % pour le radar et la matrice piézoélectrique sur le rythme cardiaque. À l’éveil, le radar et les piézoélectriques ont permis d’obtenir des mesures stable du rythme respiratoire, mais un rythme cardiaque incohérent. La méthode d’électrodes de surface s’est avérée la meilleure pour mesurer le rythme cardiaque avec un rapport signal à bruit de 17.3 dB sur le signal ECG. Conclusion. Les électrodes de surface couplées à un piézo-électrique est la méthode la plus appropriée pour mesurer le rythme cardiaque chez une souris éveillé sans induire de stress ou et sans chirurgie, permettant de sauver du temps et de l’argent.----------ABSTRACT Introduction. Monitoring vital signs on awaken mice is crucial for post operation follow-up, drug testing, behavioral monitoring and stress evaluation. Currently, the golden standard method relies on telemetry which requires an implant via surgery. This study proposes three different non-invasive and stress-free techniques for measuring Respiration Rate (RR) and Heart Rate (HR) on awaken mice: Frequency Modulated Continuous Wave (FMCW) Radar, Piezoelectric Matrix and ECG pad matrix coupled with Piezoelectric. Research goals are: low cost device, self sufficient device, wireless data transmission and robust monitoring of vital signs. Methods. The hardware was designed using Kicad for PCB and Catia V5 for 3D modelisation. Software was designed using C/C++ programming in Psoc Creator from Cypress semiconductor and Visual Studio 2017. Radar technique was validated on anesthetized ventilated mouse (C57BL/6) while simultaneously recording ECG with small animal monitoring platform (Labeo technologies). System was then validated on a restrained awake mouse while simultaneously recoding ECG (implanted electrodes). Radar system was finally tested on awake mouse free in the cage. Piezoelectric matrix system was also validated on anesthetized ventilated mouse while simultaneously recording ECG (ECG needles). Piezoelectric system was then tested on awake, non restrained, mouse. Finally, ECG pad matrix was validated by restraining the mice to the device and then tested on awake, non-restrained, mouse. Data were all analysed using Matlab 2017b. Results. Under Anesthesia, mean error of 4% and 3% for FMCW Radar and Piezoelectric on HR calculation were obtained. On awaken mouse, FMCW radar and Piezoelectric Matrix rendered reliable RR but incoherent HR. ECG pad Matrix coupled with piezoelectric rendered the best HR calculation with SNR of 17.3 dB on the ECG signal. Conclusion. ECG pad Matrix coupled with piezoelectric is the most appropriate technique for monitoring the vitals signs with the advantages of reliable data, stress-free and surgery-free