nglaura/hal-summarization huggingface dataset:
Les campagnes telles que Text REtrieval Conference (TREC) offrent un cadre qui permet d'évaluer des systèmes de recherche d'information (RI). L'évaluation utilise des mesures qui se basent sur une moyenne des résultats obtenus pour un ensemble de besoins en information: les succès et échecs sur chacun des besoins sont masqués. Cet article propose une analyse qui prend en compte la diversité des résultats et qui a pour but de sélectionner le système de RI le plus apte à traiter les besoins selon leur difficulté. Deux méthodes de sélection des meilleurs systèmes de RI sont proposées. La première méthode considère la moyenne des mesures de performance des systèmes et la seconde considère leurs rangs selon cette moyenne. Une expérimentation est conduite afin de sélectionner les meilleurs systèmes selon la difficulté des besoins en information. L'évaluation montre un gain maximal en robustesse de 68% et de 10% sur les performances.
La performance d’un Système de Recherche d’Information (SRI) est étroitement liée à la requête. Les requêtes pour lesquelles les SRI échouent sont appelées dans la littérature des « requêtes difficiles ». L’étude présentée dans cet article vise à analyser, adapater et combiner plusieurs prédicteurs de difficulté de requêtes. Nous avons considéré trois prédicteurs: un lié à l’ambiguïté des termes, un basé sur la fréquence des termes et une mesure de répartition des résultats. L’évaluation de la prédiction est basée sur la corrélation entre la difficulté prédite et la performance réelle des SRI. Nous montrons que la combinaison de ces prédicteurs donne de bons résultats. Le cadre d’évaluation est celui des collections TREC7 et TREC8 adhoc.
Pour des raisons d'efficacité et de maîtrise des coûts, le souhait des concepteurs de systèmes est d'utiliser de façon intégrée un ensemble cohérent de formalismes pour décrire les spécifications et conceptions, et également pour effectuer des analyses de sûreté de fonctionnement. AADL (Architecture Analysis and Design Language) a prouvé son efficacité pour la modélisation d'architectures. Par conséquent, ce langage est de plus en plus utilisé dans des processus industriels d'ingénierie système. Cet article présente un cadre de modélisation permettant la génération de modèles analytiques de sûreté de fonctionnement à partir de modèles AADL dans l'objectif de faciliter l'obtention de mesures de sûreté de fonctionnement comme la fiabilité et la disponibilité. Nous proposons une approche itérative de modélisation. Le modèle AADL de sûreté de fonctionnement est transformé en un RdPSG (Réseau de Petri Stochastique Généralisé) en appliquant des règles de transformation de modèle. Le RdPSG résultant peut être traité par des outils existants. L'approche est illustrée sur un petit exemple.
Ce papier décrit les fonctions visuelles à intégrer sur un robot personnel qui doit manipuler des objets 3D : il est focalisé sur l'apprentissage des représentations géométriques et photométriques de ces objets. Notre méthode est fondée sur l'extraction et la mise en correspondance de points d'intérêt depuis des images acquises par une seule caméra déplacée autour de l'objet en phase d'apprentissage. Tout d'abord, l'objet est segmenté dans les images en supposant le fond statique ou uniforme ; puis, à partir de pixels extraits et appariés dans des images acquises depuis plusieurs points de vue, un ensemble de points 3D est reconstruit, d'abord par une simple triangulation, puis par un ajustement de faisceaux ; à chaque point 3D est associé l'ensemble des signatures des points d'intérêt qui sont ses projections dans les images d'apprentissage ; un maillage est construit à partir de ces points 3D. Ces représentations seront ensuite exploitées pour reconnaître, localiser et manipuler ces objets.
Cette communication propose une solution sans fil et analogique pour la mesure de surpression aérienne en environnement extrême. La solution sans fil proposée apporte de nombreux avantages en termes de simplicité, compacité et robustesse de mesure par rapport à la solution filaire classiquement utilisée. Elle offre également la possibilité de réaliser des mesures de pression dans la boule de feu lors d'une explosion. Après une étude système de la liaison sans fil proposée, le transducteur du capteur de pression dynamique sera présenté. Ses performances seront évaluées sous tube à choc.
Les travaux présentés dans cet article s'inscrivent dans le paradigme des recherches visant à acquérir des relations sémantiques à partir de folksonomies (ensemble de tags attribués à des ressources par des utilisateurs). Nous expérimentons plusieurs approches issues de l'état de l'art ainsi que l'apport de l'apprentissage automatique pour l'identification de relations entre tags. Nous obtenons dans le meilleur des cas un taux d'erreur de 23,7 % (relations non reconnues ou fausses), ce qui est encourageant au vu de la difficulté de la tâche (les annotateurs humains ont un taux de désaccord de 12%).
L'objectif de ce travail est de proposer et valider un mécanisme de priorité pour la communication sans collision à travers des réseaux sans fil et de comparer les performances d'une application de contrôle-commande compte-tenu de l'utilisation de deux types de protocoles MAC : le protocole IEEE 802.11 (WiFi) qui est un protocole de type CSMA-CA qui n'empêche pas l'occurrence de collisions ; le protocole sans collision déterministe que nous avons défini.
Nous présentons ici l'étude de la faisabilité d'une nouvelle terminaison de jonction utilisant une tranchée profonde de 70 m de large et de 100 m de profondeur remplie par un matériau diélectrique. Les simulations, avec Sentaurus TCAD, ont montré une tenue en tension supérieure à 1200 V pour cette terminaison. Le remplissage de la tranchée de terminaison par un diélectrique étant indispensable, nous avons donc étudié la possibilité d'utiliser un polyimide à faible constante diélectrique. Outre ses bonnes caractéristiques électriques, le BenzoCycloButene (BCB) a permis un bon remplissage des tranchées profondes. Enfin, nous avons étudié le polissage du BCB par la technique de polissage mécano-chimique (CMP) dans le but d'aplanir et éventuellement de supprimer l'excès de BCB sur la surface de la plaque. En utilisant une suspension de polissage d'un pH 2,5 (acide), nous avons obtenu une vitesse de gravure par polissage d'environ 0,24 m/min pour le BCB. L'état de surface du BCB après CMP présente une rugosité, Ra, de 1,04 nm mesurée par AFM.
L'étude des caractéristiques contextuelles a été largement traitée en Recherche d'Information (RI), mais les applications concrètes sur de vrais flux de données ne sont pas très répandues. Dans cet article, notre problématique concerne la décision automatique de retweeter un message. En considérant le centre d'intérêt d'un utilisateur, nous proposons un modèle pour effectuer un filtrage automatique en temps-réel du flux Twitter en utilisant de multiples caractéristiques contextuelles. Le modèle sépare l'aspect contextuel du contenu du message en lui-même, tout en conservant une très grande vitesse d'exécution. Notre modèle a été évalué dans le cadre des tâches TREC Microblog 2015 et TREC Real-Time Summarization 2016. Les résultats montrent la grande efficience (temps de retweet) de notre modèle, et son efficacité sur les mesures de 2015. Ces résultats en termes d'efficacité n'ont cependant pas été confirmés sur 2016. Ceci nous a conduit à une analyse plus en détail des résultats (approche et cadre d'évaluation). Cette analyse a notamment montré un biais dans l'évaluation, biais que nous discutons à la fin de l'article.

The study of contextual features has been widely discussed in Information Retrieval (IR), but concrete applications on real data streams are not common. In this paper, we aim at doing retweet recommandation. Considering a user interest, we introduce a model to perform real-time online filtering of the Twitter stream using several contextual features. The model separates content and contextual aspects, achieving a very high velocity. Experiments were performed on the TREC Microblog 2015 and TREC 2016 Real-Time Summarization frameworks. Results show that our model is very efficient as well as effective on the 2015 collection. However, the results regarding effectiveness have not been confirmed on the 2016 framework. This led us to conduct a detailed analysis of the results with regard to our approach and the evaluation framework. This analysis showed an evaluation bias discussed at the end of the article.
Une étude portant sur la réalisation de résonateurs et de techniques de couplage de ces résonateurs à des guides d'onde sur substrat verre et silicium est présentée. Ces résonateurs sont de deux types différents : report de sphère de SiO2 sur substrat hôte ou réalisation de résonateurs bidimensionnels circulaires à l'aide des structures guidantes étudiées pour le couplage de la sphère. Les problématiques liées au choix des matériaux sont décrites, du point de vue de la technologie et de leurs propriétés optiques.
Cet article a pour objectif de rendre compte des effets d'un dispositif d'élaboration conçu pour accompagner deux formatrices intervenant conjointement dans une action de formation menée auprès de l'équipe pédagogique d'un établissement socio-éducatif. Deux des auteures, Narjès Guetat-Calabrese et Laure Lafage, constituaient le binôme de formatrices et la troisième auteure, Claudine Blanchard-Laville, a conduit les élaborations dans le dispositif construit à la demande de ces dernières. Cet écrit fait suite à une communication énoncée à trois voix dans le cadre d'un atelier du colloque Cliopsy 2013. Nous nous proposons ici de prolonger la réflexion présentée dans cette communication en apportant en particulier de nouveaux développements théoriques. Nous avons pensé et écrit ce texte ensemble. Au vu de la complexité de la rédaction d'un écrit à trois, il apparaît nécessaire de commencer par présenter les auteures et de préciser les liens qu'elles entretenaient antérieurement à la création du dispositif dont il va être question. N. Guetat-Calabrese et L. Lafage se sont rencontrées à l'université Paris Ouest Nanterre La Défense dans le parcours intitulé Formation à l'Intervention et à l'Analyse des Pratiques (FIAP) du Master de Sciences de l'Éducation, spécialité professionnelle Développement de Compétences en Formation d'Adultes (DCFA) qu'elles suivaient toutes les deux dans la même promotion, parcours de master dont C. Blanchard-Laville a contribué à la création en 2005. L. Lafage effectuait ce parcours universitaire en parallèle de sa fonction de conseillère principale d'éducation en lycée. N. Guetat-Calabrese, quant à elle, dirigeait un service éducatif en protection de l'enfance au moment de cette inscription universitaire. Toutes les deux ont été accompagnées dans la réalisation de leur mémoire de master par C. Blanchard-Laville ainsi que dans un certain nombre des élaborations concernant aussi bien leur rapport au savoir que leur pratique d'animation, élaborations psychiques sollicitées dans le cadre de plusieurs modules de ce parcours
Cet article, consacré au lien entre traitement automatique et apprentissage de la prononciation en L2, vise à offrir une vue d’ensemble des méthodes et pratiques actuellement en cours dans les deux domaines de référence du sujet (la didactique des langues étrangères et le traitement automatique de la parole), en nous concentrant sur la démarche de correction phonétique, du diagnostic d’erreurs aux procédures de remédiation. L’un des composants les plus novateurs de notre réflexion porte sur les apports de la phonologie de corpus, notamment des corpus oraux d’apprenants de L2. Cette réflexion nous conduit à plaider en faveur d’une approche interdisciplinaire plus riche entre didacticiens et ingénieurs de la parole afin d’encourager le développement des systèmes de correction automatique dans les curricula de L2.
Nous présentons une nouvelle méthode de résolution du problème de la stéréophotométrie non calibrée dans le cadre lambertien, fondée sur l'hypothèse que tous les éclairages ont la même intensité, couplée à l'estimation de cette intensité. Nous montrons comment cette hypothèse permet de lever les ambiguïtés inhérentes à la linéarité du modèle lambertien, et notamment de résoudre l'ambiguïté de bas- relief. Le problème devenant alors bien posé, nous proposons une méthode complète pour résoudre le problème de la stéréophotométrie non calibrée et ainsi estimer conjoin- tement les conditions d'éclairage et le champ de normales. Nous validons notre méthode par la reconstruction 3D de visages à partir d'images réelles, et nous comparons son efficacité et sa précision aux techniques les plus récentes de la littérature.
Avec l'augmentation soutenue du nombre de paradigmes de programmation et d'architectures matérielles fondamentalement différentes, il devient de plus en plus difficile d'exploiter de manière performante et durable la puissance de calcul offerte par les nouvelles générations de supercalculateurs. Cette article présente HPCML un DSML (Domain Specific Modeling Language) au coeur de l'approche MDE4HPC qui, afin de dompter cette complexité, vise à appliquer les principes de l'Ingénierie Dirigée par les Modèles (IDM) au développement d'applications de simulation numérique.
Retrouver de manière non supervisée des unités sous-lexicales et identifier des pseudo-mots dans la parole est un problème qui ntéresse actuellement les chercheurs en parole. Dans ce travail, nous trouvons des pseudo-unités à l’aide des k-means et d’un réseau de neurones convolutif, en s’aidant d’une segmentation phonétique manuelle ou automatique (multi-langue). Pour vérifier la portabilité de notre approche,nous comparons les résultats pour trois langues différentes : l’anglais, le français et le xitsonga. L’originalité de notre travail réside dans l’utilisation non supervisée d’un réseau de neurones qui d’ordinaire s’utilise dans un cadre supervisé. Comme exemple de résultats sur le corpus de Xitsonga, nous avons obtenu une pureté au niveau phonétique de 46% et de 42%, avec respectivement des segmentations manuelles et automatiques, en utilisant 30 regroupements. Sur la base de ces pseudo-phones, nous avons pu identifier environ 200 pseudo-mots.
Ce travail contribue à montrer l'intérêt d'exploiter la structure des documents accessibles sur le Web pour enrichir des bases de connaissances sémantiques. En effet, ces bases de connaissances jouent un rôle clé dans de nombreuses applications du TAL, Web sémantique, recherche d'information, aide au diagnostic, etc. Dans ce contexte, nous nous sommes intéressés ici à l'identification des relations d'hyperonymie présentes dans les pages de désambiguïsation de Wikipédia. Un extracteur de relations d'hyperonymie dédié à ce type de page et basé sur des patrons lexico-syntaxiques a été conçu, développé et évalué. Les résultats obtenus indiquent une précision de 0.68 et un rappel de 0.75 pour les patrons que nous avons définis, et un taux d'enrichissement de 33% pour les deux ressources sémantiques BabelNet et DBPédia.
Ce papier décrit une nouvelle technique pour modéliser le comportement en régime transitoire et régime permanent ainsi que le bruit de phase pour des oscillateurs micro-onde. Cette méthodologie peut être appliquée à une grande variété d'oscillateurs contrôlés en tension (OCT) : différentiel ou non, indépendant de l'architecture et avec ou sans buffer. La technique proposée utilise des réseaux de neurones pour approximer la caractéristique non linéaire du circuit. La dynamique est décrit par un système d'équations différentielles d'ordre deux dans l'espace d'états, ce qui représente une grande réduction par rapport à l'oscillateur initial. Le bruit de phase est simulé en injectant dans le résonateur du bruit Gaussien, qui sera ensuite transformé en bruit de phase dans la région 1/f2. L'implémentation du modèle est proposée en VHDL-AMS.
Les gestionnaires de machines virtuelles (ou VMMs) sont de plus en plus utilisés dans le monde de l'informatique aujourd'hui (no-tamment, depuis l'engouement pour le Cloud Computing). Ils reposent principalement sur des techniques d'assistance matérielle à la virtualisa-tion proposées par les différents fondeurs de processeurs. Par ailleurs, il est de plus en plus courant de rencontrer des couches de virtualisation im-briquée ou nested virtualization, également supportée par des techniques matérielles. Cette approche a pour effet d'augmenter le nombre de couches de virtualisation. En partant de ce constat, nous nous sommes penchés sur la conception et le développement d'un hyperviseur " récursif " , per-mettant de supporter un nombre quelconque de couches de virtualisation. Nous décrivons son architecture, ainsi qu'un modèle formel décrivant de façon simple comment gérer ces couches de virtualisation. Quelques tests permettant d'évaluer ses performances sont également proposés à la fin de cet article.
De nombreux travaux en recherche d'information (RI) ont montré l'apport de la sémantique des mots pour améliorer l'appariement de document-requête. D'une part, la sémantique symbolique dérivée de ressources externes permet de représenter des entités et leurs relations explicites. D'autre part, la sémantique distributionnelle inférée des corpus permet de représenter les relations sémantiques implicites d'un corpus. Dans cet article, nous proposons de combiner ces deux types de représentations sémantiques. Ainsi, nous présentons un modèle neuronal pour la RI ad-hoc qui exploite les représentations sémantiques latentes des documents et des requêtes en bénéficiant des concepts et des relations exprimés au sein d'une ressource externe. Les évaluations sur deux jeux de données prouvent l'efficacité de notre modèle par rapport aux modèles neuronaux profonds d'appariement de l'état de l'art. ABSTRACT. In information retrieval task, the words semantic has been recognized as significant mean to improve the document-query matching. First, the symbolic semantics extracted from external resources allows to represent entities and their explicit relations. Second, the distributed semantics inferred from the corpus allows to exploit the implicit relations hidden in a corpus. In this paper, we introduce a neural model that leverages the latent semantic representations of documents and queries by taking advantage of the concepts and relations expressed within an external resource. Experimental results obtained on two datasets indicate our model effectiveness in comparison with state-of-the-art deep neural retrieval models.
Dans le cadre du projet " Carcinologic Speech Severity Index " (C2SI), les voix de 35 patients ayant été traités pour un cancer oral et pharyngé ont été étudiées selon différents paramètres acoustiques, couplée à la reconnaissance vocale automatisée. L'étude révèle, par comparaison avec un groupe témoin, une pauvreté harmonique significative sur un /a/ tenu ainsi que sur du texte lu, ainsi qu'une dégradation spectrale des voyelles et des consonnes, notamment dans les zones des formants F2 à F4, corrélée avec l'intelligibilité et les erreurs d'alignement sur un ensemble de pseudo-mots. L'étude ne révèle cependant pas de différence significative de l'histogramme du fondamental de la voix pour un texte lu, entre le groupe témoin et le groupe patients. En revanche, on constate une faible différentiation fréquentielle des voyelles et consonnes extrêmes (notamment /s/m/) pour plus de 50% des cas de patients, corrélée avec la perte d'intelligibilité.

As part of the Carcinologic Speech Severity Index project (C2SI), the voices of 35 patients who were treated for oral and pharyngeal cancer were studied using different acoustic parameters, coupled with automated speech recognition. The study revealed, by comparison with a control group, significant harmonic poverty on sustained /a/ as well as on read text, as well as a spectral degradation of vowels and consonants, in particular in the areas of formants F2 to F4, correlated with intelligibility and misalignment on a set of pseudo-words. However, the study does not reveal any significant difference in the histogram of the fundamental of the voice between the control and patient groups. On the other hand, there is a poor frequency discrimination of vowels and extreme consonants (in particular / s / m /) for more than 50% of patients, correlated with loss of intelligibility.
Cet article présente un ensemble de principes qu'un langage visuel de représentation des connais-sances doit satisfaire. Nous avons introduit quatre principes formel (accessibilité, navigation, efficacité d'ac-cès, existence d'un point d'entrée) et sept postulats en langage naturel visant à contraindre la cohérence, compacité, navigabilité du langage par rapport aux attributs visuels (position, forme et couleur). Après une présentation du langage MOT, nous introduisons le langage VTL (Visual Typed Language) qui en est inspiré. VTL est un langage visuel typé qui satisfait la plupart des principes que nous proposons. Nous avons séparé les éléments du langage VTL en trois catégories : entités, actions et conditions. Les expressions de chaque catégorie sont soit des éléments génériques soit des instances. Ils sont reliés entre eux par des attributs dépendant de leur catégorie, ces liens permettent la navigation. Enfin, nous avons réalisé une maquette interactive à l'aide du logiciel XMind, initialement dédié aux cartes mentales.
Nous proposons d’utiliser des réseaux de neurones convolutifs (Convolutional Neural Networks (CNN)) pour la classification en genres musicaux. Mais contrairement à l’approche classique qui consiste à présenter un spectrogramme en entrée, nous choisissons un ensemble de paramètres musicaux selon trois dimensions musicales : la dynamique, le timbre et la tonalité. Avec une topologie de CNN appropriée, les résultats montrent que huit paramètres musicaux sont plus efficaces que 513 fréquences d’un spectrogramme et que la fusion tardive des systèmes basés sur les deux types de caractéristiques permet d’atteindre un taux de bonne classification de 91% sur le corpus GTZAN.
Cette communication traite de la détection et de la lecture à distance de capteurs passifs à l'aide d'un système radar FMCW millimétrique. Avec une résolution en profondeur de quelques centimètres et une résolution angulaire de l'ordre du degré, il est possible de localiser et d'interroger des capteurs démunis de batterie en réalisant une cartographie des échos radar en azimut, élévation et profondeur issus des modes de diffusion de structure et d'antenne des capteurs.
Les performances en bruit de phase de l'oscillateur optoélectronique couplé (COEO) dépendent fortement du profil temporel du train d'impulsion qu'il génère [1]. Son optimisation passe ainsi, entre autres, par une bonne compensation de la dispersion chromatique introduite par les boucles fibrées, longues de quelques centaines de mètres. Nous présentons ici une méthode simple d'y parvenir et nous montrons comment cela nous a permis de générer des ondes millimétriques (90 GHz) avec un très faible bruit de phase.
Ce papier décrit l'extraction de la permittivité de cellules individuelles soumissent à différents stimuli en utilisant un biocapteur micro-ondes, développé pour l'analyse de cellules uniques dans leur milieu de culture. La partie sensible du dispositif est constituée d'un gap coplanaire de 5μm, sur lequel la cellule est piégée par un bloqueur mécanique, permettant d'obtenir les contrastes capacitifs et conductifs d'une cellule. Des simulations électromagnétiques, dans lesquels la permittivité de la cellule (sphère) est ajustée, ont permis de définir des courbes de calibrage adaptées reliant contrastes capacitif et conductif aux parties réelles et imaginaires de la permittivité relative. Plusieurs mesures ont été effectuées sur différentes cellules (dans leur milieu de culture) après différents stimuli dans le but d'induire différents stresses altérant l'état de la cellule. Les résultats montrent que cette technique non-invasive, incluant un post-traitement de de-embedding, nous fournit l'image intrinsèque diélectrique d'une cellule biologique, qui par la suite révèle l'état biologique de celle-ci.
Les conditions météorologiques (vents, orages, neige...) sont responsables de 50% des retards du trafic aérien et de 10% des accidents. Construire des trajectoires qui évitent les orages ou les tempêtes de neige et qui profitent des vents pour diminuer la durée du vol est un enjeu majeur pour les compagnies aériennes, notamment pour les trajets océaniques non soumis aux couloirs aériens (cf. les flextracks [1]). Nous proposons de résoudre ce problème de plus court chemin par un algorithme mémétique qui construit de bonnes trajectoires pour des aéronefs dans un champs de vent. Afin de maîtriser les aléas intrinsèques aux prévisions météorologiques, une approche robuste, fondée sur un ensemble de scénarios de vents, est présentée : robustesse moyenne et absolue, déviation relative et absolue...
Dans ce papier, le concept des "îlots flottants" a été implémenté sur silicium : pour la première fois une FLIDiode a été fabriquée. Les résultats expérimentaux confirment les simulations prédictives 2D : cette nouvelle diode affiche une importante tenue en tension (aux alentours de 95 Volts) avec une concentration de la couche épitaxiée de 1,1.1016 cm-3 qui est habituellement utilisée pour des composants 50 Volts. Ces mesures valident d'une part le concept des "îlots flottants" et, d'autre part, l'efficacité de la structure de bord qui sera utilisée dans la technologie FLIMOS : on peut donc espérer que la résistance spécifique à l'état passant du transistor FLIMOS sera considérablement réduite par rapport à celle du transistor VDMOS conventionnel.
Dans cet article, nous présentons l'étude paramétrique des performances statiques du transistor DT-SJMOS. Nous rappelons, dans un premier temps, la structure du transistor ainsi que ses caractéristiques technologiques. La structure est ensuite simulée à l'aide du logiciel TCAD Sentaurus dans le but d'étudier la sensibilité de ses performances statiques en fonction de la variation de différents paramètres géométriques et technologiques. Il s'avère que les variations technologiques dans le volume de la structure sont néfastes à sa tenue en tension, alors que la géométrie de surface influence peu le comportement.
Cet article présente un étalon de sûreté de fonctionnement pour des systèmes d'exploitation (OS) à usage général. L'étalon est défini au travers des spécifications de ses composants principaux. Les spécifications sont implémentées sous la forme d'un prototype de l'étalon. L'étalon proposé présente trois particularités. En premier lieu, il s'appuie sur un ensemble complet et structuré de mesures prenant en compte à la fois le comportement de l'OS et celui des applications. La seconde particularité est que les mesures ne concernent pas uniquement des mesures de robustesse, mais incluent aussi des mesures temporelles en présence de fautes (temps de réaction et de redémarrage de l'OS). Enfin, le système est soumis à une activité reconnue, correspondant à l'activité d'un étalon de performance (client TPC-C). Le prototype d'étalon développé est utilisé pour comparer la sûreté de fonctionnement de trois systèmes d'exploitation (Windows NT4, Windows 2000, Windows XP) vis-à-vis d'un comportement erroné du niveau applicatif. Les résultats montrent un comportement similaire pour les trois OS vis-à-vis de la robustesse, mais une différence notable en termes de temps de réaction et de redémarrage, Windows XP se révélant avoir les temps les plus courts. Summary This paper presents a dependability benchmark for general-purpose operating systems (OSs). The benchmark is defined through the specifications of its main components. The specifications are implemented in the form of a benchmark prototype. Our benchmark has three particularities. First, it lies on a comprehensive and structured set of measures: outcomes are considered both at the OS level and at the application level. Second, these measures include not only robustness measures, but also related temporal measures in the presence of faults (e.g., OS reaction time and restart time). Finally, we are using a realistic workload (namely, TPC-C client), instead of a synthetic workload. The benchmark prototype is used to compare the dependability of three operating systems (Windows NT4, Windows 2000 and Windows XP) with respect to erroneous behaviour of the application layer. The results show a similar behaviour of the three OSs with respect to robustness and a noticeable difference in OS reaction and restart times (Windows XP has the shortest reaction and restart times).
Cet article décrit l'architecture et la conception du circuit de conditionnement d'énergie d'un microgénérateur multi-source pour une application aéronautique de maintenance préventive, ou AHM (Aircraft Health Monitoring). L'originalité du microgénérateur est qu'il récupère l'énergie de l'environnement, ici les gradients thermiques et les vibrations de structure, et que son stockage se fait non pas sur une batterie mais sur des supercondensateurs. L'architecture choisie permet une autopolarisation du circuit, même en cas de décharge complète des supercondensateurs, et permet de fournir en sortie du régulateur une puissance moyenne de l'ordre du milliwatt pendant 1 heure.
Depuis quelques années, les systèmes satellites DVB-S/RCS se révèlent complémentaires aux réseaux terrestres de part leur capacité à offrir un accès large bande pour les régions isolées ou à faible densité sans toutefois nécessiter d'infrastructures lourdes et couteuses. Il devient alors nécessaire que ces systèmes puissent offrir un support approprié aux nouvelles applications multimédias et aux nouveaux services proposés sur les réseaux terrestres tout en tenant compte des contraintes spécifiques qu'ils soulèvent. Dans ce contexte, cet article a pour objet d'examiner plus spécifiquement les problématiques liées à la mobilité d'un utilisateur et à la qualité de service de ses applications dans le cadre d'un système DVB-S/RCS. Une solution basée sur le protocole d'initiation de session (SIP) permettant une gestion couplée de la mobilité d'un utilisateur et de la qualité de service de ses sessions SIP sera ensuite proposée puis évaluée sur une plateforme d'émulation d'un réseau par satellite.
Cet article présente la mise en place de solutions de sécurité réseau basées sur des logiciels libres au LAAS du CNRS. Dans le domaine de la sécurité réseau, deux composants clé utilisés dans le laboratoire sont le pare-feu principal et le portail captif destiné à accueillir les connexions de visiteurs. Les outils retenus se basent sur le filtre de paquets PF ainsi que sur des extensions du serveur DHCP du système OpenBSD. Après avoir étudié plusieurs scénarios de déploiement, le pare-feu principal du laboratoire est constitué de deux serveurs redondants contrôlant le trafic à l'aide de PF en mode transparent. Pour l'accueil de connexions réseaux de visiteurs, le laboratoire souhaite continuer à leur proposer un accès ouvert. Un portail captif « auto déclaratif » sur lequel chaque visiteur s'enregistre pour accéder à l'Internet a été réalisé à l'aide d'outils présents dans OpenBSD.
Dans cette communication nous présentons une antenne de très petite taille (<λ/10) constituée d'une bobine aplatie disposée au dessus d'un plan métallique. La bobine est équivalente à un dipôle magnétique miniature et son couplage avec le plan métallique induit un dipôle électrique. Les performances en rayonnement de cette antenne composite associant deux dipôles (magnétique et électrique) sont quasi-identiques à celles d'un patch sur céramique appliquée à la réception de signaux GPS. Cependant, contrairement à la solution patch sur céramique, l'antenne miniature proposée peut être utilisée en basse fréquence.
Le phénomène de rétro-injection optique (interférences de deux ondes dans le milieu actif d'une diode laser) est utilisé pour des applications métrologiques telles que la mesure de vitesse ou de distance. Dans le cadre de ce projet, cette technologie est appliquée à la mesure de profil d'écoulement dans des puces microfluidiques. L'évolution du signal en fonction de la taille et de la forme du canal microfluidique, du volume de mesure, de la concentration et de la taille des particules est étudiée. Une nouvelle classe de capteurs non invasifs, faible coût et intégrable, est présentée pour la mesure de la microcirculation sanguine in-vivo.
Dans ce papier, une nouvelle antenne lecteur RFID à polarisation circulaire a été développée pour la chaine de radiolocalisation du robot Rackham du LAAS-CNRS. Cette antenne (20 cm x 20 cm) permet de couvrir la totalité de bande RFID UHF (860-960 MHz) et présente un gain simulé de 4dBi. Deux exemplaires de cette antenne ont été fabriqués et mesurés. Les tests en radiolocalisation de ces antennes montrent leur conformité aux exigences de l'application robotique considérée.
Les travaux de thèse ont porté sur la valorisation et l'évolution d'une filière technologique 3D faible coût permettant l'intégration de composants passifs 3D. Afin de démontrer le potentiel de cette technologie à répondre totalement aux exigences requises par les applications haut débit futures en termes de performances et de coût d'intégration, une matrice de Butler 3D a été réalisée, et est présentée dans ce papier. Elle couvre la large bande 25-29 GHz visée par les futures applications 5G. Les résultats obtenus rapportent des performances comparables à l'état de l'art tout en offrant un circuit extrêmement compact dont l'aire totale est inférieure à 0,9 mm2 .
Afin d'illustrer les problèmes de configuration des mécanismes matériels d'isolation, nous proposons une attaque d'IOMMU. L'attaque mise en oeuvre dans cet article met en avant une erreur de conception au sein du firmware et du driver d'IOMMU Intel pour linux. L'exploitation de cette vulnérabilité est réalisée uniquement à l'aide d'un périphérique PCI Express développé sur FPGA, des spécifications matérielles Intel et de la lecture du code source de linux.
Ce travail montre les limites des solutions mono-bandes IR-UWB reconfigurables dans le contexte des réseaux de microsystèmes communicants. L'étude conjointe de l'architecture et de la capacité du canal sous contrainte de simplicité place le MB-IR-UWB comme solution plus performante. Il est montré que son optimisation et son dimensionnement sont limités par les contraintes d'implémentations et le canal UWB. Des premiers résultats de prototypes d'émetteurrécepteurs IR-UWB reconfigurables sur ASIC et FPGA sont présentés.
Lors de la conception des avions, il est courant que les constructeurs évaluent la sûreté de fonctionnement en utilisant des modèles stochastiques, mais l'évaluation de la fiabilité opérationnelle à l'aide de modèles, en ligne, reste rarement effectuée. Souvent, l'évaluation stochastique concerne la sécurité des avions ou des missions. Cet article aborde la fiabilité opérationnelle des missions d'avion, à la suite de défaillances de composants, de modifications dans l'environnement opérationnel, ou de changement concernant les possibilités de maintenance dans les diverses escales que comporte la mission. Nous décrivons comment l'évaluation de la fiabilité opérationnelle en ligne peut permettre d'ajuster une mission d'avion, en cas de changements majeurs durant sa réalisation. L'évaluation est rendue possible grâce à la construction et à la validation d'un modèle de sûreté de fonctionnement facile i) à utiliser pour la définition d'une mission initiale, et ii) à mettre à jour lors de la réalisation d'une mission, suite à l'occurrence de certains événements majeurs. Le modèle peut être construit dès la phase de conception, par des ingénieurs spécialistes en sûreté de fonctionnement, en utilisant les processus stochastiques. La mise à jour et le traitement du modèle, en phase opérationnelle, peuvent être effectués par les exploitants, qui ne sont pas nécessairement familiers avec les processus stochastiques. Nous présentons des exemples de résultats qui montrent le rôle important de la réévaluation de la fiabilité opérationnelle pendant une mission d'avion.
Une matrice de Butler 4×4 très compacte et large bande couvrant les fréquences 5G de 25 GHz à 29 GHz est présentée. L'utilisation d'une technologie d'intégration 3D permet d'aboutir à de très bonnes performances pour l'ensemble des voies, avec des pertes d'insertion inférieures à 1,5 dB, et des déphasages stabilisés à-45°, +135°,-135° et +45° avec une déviation inférieure à ±6°.
Cet article présente une extension d'une approche de planification hiérarchique pour la gestion des problèmes multi-agents et, plus spécialement, pour les problèmes d'interaction Homme-Robot dans lesquels un robot et un humain doivent coopérer pour atteindre un but commun. La méthode proposée permet de raisonner et de planifier pour des agents qui ont des croyances différentes ou incomplètes. Elle s'appuie sur une nouvelle description des croyances des agents et sur un mécanisme permettant de produire et d'insérer des actions de communication dans le plan courant. Ces actions de communication ont pour fonction de transmettre des informations d'un agent à l'autre.
Synthétiser les signaux liés aux mouvements humains est une tâche difficile à cause de la nature multidimensionnelle et la non-linéarité de ces signaux. Cependant, la locomotion humaine est un mouvement synchronisé, ce qui signifie que ses signaux sont liés. En utilisant cette propriété, nous proposons une nouvelle méthode pour modéliser la locomotion humaine et identifier ce modèle. Dans le but d'identifier ce système, nous le considérerons comme une boîte noire, pour laquelle nous proposons une méthode d'identification adaptée. En effet, cette méthode utilise des mouvements enregistrés par un système de capture de mouvement. Enfin, nous montrerons que le modèle identifié permet de représenter la locomotion humaine d'une façon rapide et efficace.
La fiabilité des systèmes embarqués soumis aux décharges électrostatiques (ElectroStatic Discharges-ESD) devient une préoccupation majeure. Ces évènements transitoires de forte puissance peuvent provoquer la destruction du matériel ou induire des fautes logiques tout aussi critiques pour les applications où la sécurité des personnes est en jeu. Pour prédire l'impact des ESD, des modèles de description de composants sont en cours de définition dans les comités normatifs (IEC, ESDA-ESD Association). Le papier démontre la validité des modèles proposés sur une application automobile, un driver LIN (Local Interconnect Network), avec plusieurs fabricants. Dans ce système, une décharge ESD est injectée sur l'entrée LIN avec et sans capacité de découplage. La méthodologie utilisée pour la construction du modèle est décrite. Afin de vérifier la validité de ces modèles, des comparaisons mesures et simulations quasi-statiques et transitoires sont faites sur différents types de protections.
La division de fréquence d'oscillateurs de références optoélectroniques couplés (COEO) est une méthode de synthèse de fréquence alternative à la boucle à verrouillage de phase (PLL). La PLL étant basée sur la multiplication de fréquence, la dégradation résultante du bruit de phase proportionnelle au facteur de multiplication s'avère problématique pour la génération de fréquences élevées. Ici à l'inverse, nous divisons une référence de fréquence élevée, le COEO, en concevant des diviseurs avec un bruit de phase résiduel le plus faible possible. Cet article discute des résultats d'un diviseur numérique de fréquence par 2 et d'un diviseur numérique de fréquence par 3 réalisés en technologie SiGe BiCMOS 130 nm à partir d'une référence COEO à 30 GHz.
L'auto-adaptation des protocoles de communication est un enjeu majeur dans la conception des futurs services de l'Internet ambiant. Ceux-ci auront en effet à répondre aux besoins dynamiques d'applications complexes, mobiles et coopératives, distribuées dans des environnements réseaux hétérogènes, en partie sans fil et ad hoc, aux contraintes variables et évolutives. Dans ce nouveau contexte, dynamique à différents niveaux, les protocoles de bout en bout à architecture modulaire apparaissent comme un support privilégié pour l'auto-adaptation au contexte. Les contributions présentées dans cet article s'inscrivent dans cette approche et adressent le problème du choix d'architecture interne des protocoles auto configurables. Partant des propositions de protocoles à architecture modulaire issues des travaux de recherche actuels, nous proposons un modèle analytique pour guider le processus de décision, que nous confrontons ensuite, au travers d'un cas d'étude, à des mesures des performances réalisées sur une plateforme d'évaluation de protocoles à architecture configurable.
Les applications temps-réel demandent des garanties en terme de Qualité de Service qu'il est difficile d'obtenir dans les réseaux sans fil. Le protocole MAC (Medium Access Control) qui est responsable de l'ordonnancement des messages de données (venant des applications) a un rôle très important car il résout les problèmes d'accès au medium entre les différents n{\oe}uds. Un champ de recherche important porte sur la conception de protocoles MAC, de type CSMA (Carrier Sense Multiple Access), déterministes et sans collision. Notre travail se situe dans ce cadre et porte sur la spécification d'un protocole inspiré de CAN.
Cet article présente l'optimisation de la sensibilité d'un biocapteur hyperfréquence dédié à l'analyse d'une cellule biologique unique vivante de 40 MHz à 40 GHz, directement dans son milieu de culture. Afin d'améliorer la sensibilité du capteur, différentes coupures capacitives (5µm et 10µm) situées au centre du biocapteur ont été évaluées avec différentes tailles de billes de polystyrène (10µm et 20µm). Les meilleurs contrastes capacitif et conductif ont été atteints pour une coupure de 5 µm. Ce capteur a ensuite été évalué pour la mesure de cellules biologiques individuelles et vivantes, directement dans leur milieu de culture. Des contrastes capacitif et conductif de 0,4 fF à 5 GHz et 85 µS à 40 GHz, et des écarts-types associés estimés à 7% et 14% respectivement ont été obtenus.
Une synthèse des travaux sur les oscillateurs électro-optiques est présentée, en particulier ceux menés ces dernières années en France dans le cadre de différents consortiums de recherche. Les résultats obtenus sont comparés aux alternatives existantes en hyperfréquences.
Ce papier décrit un procédé technologique faible coût capable d'intégrer, directement sur une puce active et en une seule étape de croissance électrolytique, des interconnexions et des inductances 3D multi-niveaux très faibles pertes. Ce procédé apparaît aussi adapté à l'interconnexion de puces pour des applications du type " System in Package - SiP ". Il s'appuie sur l'utilisation des résines polymères SU-8 et BPN ainsi que sur un procédé d'électrodéposition de cuivre, optimisé pour réaliser des métallisations 3D. Pour démontrer les potentialités de ce procédé, des inductances à fort coefficient de surtension (58 @ 5 GHz) ont été intégrées en dessus d'un transistor LDMOS de puissance. De même, des puces MMIC ont été interconnectées en intégrant simultanément des passifs inductifs.
Cet article présente une étude comparative de suivi par détection appliqué au comptage passager dans les bus de ville. Un détecteur cible les passagers à chaque instant image, puis un traqueur reconstruit leurs trajectoires en associant ces détections. Nous comparons trois détecteurs par apprentissage profond peu explorés dans notre contexte applicatif, que nous couplons avec un traqueur temps réel pour une évaluation globale sur notre base large échelle d'images en situation réelle. Les résultats présentés sont très encourageants tant en terme de détection et de suivi que de rapidité pour nos perspectives embarquées.

In this paper we present a comparative study of tracking-by-detection approaches applied to passenger counting in city buses. A detector targets passengers at each frame, a tracker then matches detections together through time to produce trajectories. We compare three deep learning detectors still under-explored in our context, and couple them with a real time tracker for global evaluation on our large scale in situ dataset. The results we present are very encouraging in terms of detection, tracking rate and speed expected for our embedded perspectives.
Nous nous intéressons dans cet article au diagnostic de pannes intermittentes et permanentes dans des systèmes à événements discrets. Nous proposons un formalisme de modélisation logique associé à des préférences conditionnelles destiné à produire un diagnostic unique à chaque pas de temps. Cette approche est susceptible de provoquer des interblocages entre le système surveillé et son diagnostiqueur. L'objet de cet article est de détecter ces interblocages dès la conception, par une méthode basée sur le model-checking.

In this paper we consider the diagnosis of intermittent and permanent faults in discrete event systems. We present a logic based modeling approach associated with conditional preferences in order to produce a unique diagnosis at each time step. This approach is subject to deadlocks between the monitored system and its diagnoser. The goal of this paper is to detect at design time such deadlocks, using a model-checking approach.
Dans ce travail, des mesures de bruit de phase de deux amplificateurs de technologies différentes (semi-conducteur et fibrée)sont présentées et des méthodes de réduction de celui-ci sont explorées. Une réduction importante du bruit de phase jusqu'à 15 dB est démontrée. Une intégration d'un amplificateur à semi-conducteur dans un oscillateur optoélectronique couplé à 10.2 GHz est réalisée et le bruit de phase du système est présenté et comparé à l'état de l'art. L'oscillateur possède une bonne stabilité et un niveau de bruit de phase de −132 dBc/Hz à 10 kHz de la porteuse a été obtenu.
Actuellement, de plus en plus de terminaux sont capables de communiquer en utilisant plusieurs standards de réseaux sans fil, parfois de manière simultanée. La gestion de ces différents protocoles et le partage des ressources qui leurs sont accordées est un axe d'étude qui nécessite d'appréhender plusieurs thèmes variés. Ils font partie intégrante des innovations des télécommunications. Dans cette optique, le premier concept étudié a été la "radio logicielle" ou SDR, car nous avons besoin de sa flexibilité nouvelle pour développer des prototypes de réseaux sans fil. Le second axe de la thèse est plus centré sur la problématique intrinsèque de la gestion de Qualité de Service, à travers l'étude des différents mécanismes de gestion de files d'attente et d'ordonnancement qui sont implémentés dans les couches protocolaires, et leur évaluation expérimentale.
Les avancés conjuguées des transmissions et du codage ont permis l'apparition de d'un nouveau type de réseaux satellites géostationnaires. Avec une voie de retour par satellite et des mécanismes de commutation à bord, ces systèmes dédiés aux communications multimédia large bande sont conçus pour intégrer dans un futur proche l'offre des réseaux de nouvelle génération. Les enjeux majeurs de tels systèmes sont la fourniture de services évolués tels que la qualité de service (QdS), la diffusion ou la sécurisation des communications. Cet article présente l'implémentation d'une architecture DiffServ sur un réseau satellite de type DVB-S/RCS et détaille plus particulièrement les mécanismes de signalisation de la QdS. Ces fonctionnalités ont été implantées et testées dans une plateforme d'émulation satellite développée dans le cadre du projet européen Satip6.
On présente une méthode de modélisation numérique de résonateurs optiques non-linéaires qui s'avère particulièrement adaptée pour l'étude de cavités optiques présentant des facteurs de qualité dépendants de la longueur d'onde. Cette méthode permet d'obtenir rapidement les paramètres de l'impulsion que le système supporte simplement en appliquant des conditions initiales adéquates. Cependant, la méthode ne tient pas compte des effets thermiques qui interviennent dans le système et qui sont d'une très forte importance dans la mise en place expérimentale de ce type de dispositif.