nglaura/hal-summarization huggingface dataset:
L’école a joué dès l’origine un rôle essentiel dans le processus de laïcisation des institutions françaises. S’appuyant sur les principes moraux en vigueur durant la deuxième moitié du XIXème siècle (Jules Ferry), c’est l’école qui a promu dans les esprits la séparation des sphères publique et privée, mais aussi le respect des croyances. Aujourd’hui, l’école doit faire face aux désaccords sur la morale qui traversent la société. L’école républicaine se fait volontiers plus intrusive que ne le voudrait le principe juridique de laïcité. Une pédagogie de la laïcité qui ne soit pas moralement intrusive suppose une meilleure préparation des enseignants à l’enseignement moral et civique.
Beaud vient de livrer un ouvrage important, La France des Belhoumi, sous-titré Portraits de famille (1977-2017) 1. C'est le résultat d'un projet singulier conçu cinq ans aupravant et conduit dès lors de façon continue sur la base d'un pacte éthico-épistémologique singulier : engager les membres d'une même famille dans une relation de co-réflexivité sur leurs expériences sociales respectives, y inclus leurs relations mutuelles, ce qui installe l'entreprise au milieu des relations familiales dans la durée, sur un registre de méta-discours alimenté notamment par les discours des membres les uns sur les autres, via la messagerie électronique ou par entretien en face-à-face. Comme les propos des uns et des autres sont transcrits longuement, et souvent in-extenso lorsqu'il s'agit de messages e-mail, et que la famille a huit enfants, garçons et filles, dont les parents sont des immigrés d'origine algérienne, le texte s'anime comme une dramaturgie dans laquelle l'auteur assumerait un rôle de confident en même temps que celui d'analyste. Si le sentiment d'un risque de voyeurisme saisit au départ la lectrice, ce sentiment s'estompe lorsqu'on entre dans l'ouvrage, en faisant confiance aux précisions que donne l'auteur sur le déploiement de l'enquête. Les deux soeurs aînées, formées elles-mêmes à la sociologie, ont abordé le sociologue à l'occasion d'une conférence, elles se sont montrées intéressées par le projet, et elles sont d'un bout à l'autre les locomotives de ce qui devient au fil du temps une analyse familiale.
Au cours de cette allocution, quelques voies de recherche et développement en photonique intégrée à base de matériaux organiques seront développées. Plusieurs approches hybrides qui sont issues de domaines transverses de la physique et de la chimie pour la réalisation de Micro-Résonateurs (MRs) 2D, 2.5D et 3D sur polymères seront présentées. De telles voies parallèles soulignent l'intérêt de développer des technologies et procédés hybrides, comme les traitements plasmas, la micro-fluidique, la déposition de films biomoléculaires en biophysique, qui s'adaptent et se couplent aux processus classiques de couches minces déjà existants pour l'intégration optique.
La programmation physique est une approche visant à programmer et interagir avec un objet tangible programmable pour apprendre des concepts clés de la programmation. Cette approche présente de nombreux avantages en termes de motivation, de créativité, et d'apprentissage de la programmation. Cependant, ces apprentissages sont rarement comparés à ceux résultant de la programmation d'une simulation numérique de l'objet tangible utilisé. Cet article présente les résultats d'une telle étude comparative. Celle-ci cherche à déterminer si ces deux situations amènent à des différences significatives dans l'apprentissage de concepts clés de la programmation. Les participants à cette étude ont été séparés en deux groupes : un programmant une carte électronique (la BBC micro:bit), l'autre programmant une simulation de cette carte. Les résultats montrent qu'il y a un apprentissage des concepts fondamentaux de la programmation quel que soit le groupe. Cependant, aucune différence significative n'a été constatée lorsque les gains d'apprentissage ont été comparés entre les deux groupes.

Physical computing is about programming and interacting with a tangible object to learn key concepts of Computer Science. This approach presents several benefits, namely increased student motivation, creativity, and learning gains. Yet, these learning gains hardly are compared with those resulting from the programming of a simulation of a tangible object. This article presents the results of a comparative study we conducted to explore this issue. With this study, we aimed at determining whether the programming of a tangible object or its digital simulation yields significantly different learning gains. Participants were divided into two groups: one programmed an electronic board (the BBC micro:bit) while the other programmed a simulation of it. The results of this experiment suggest that, while both groups significantly improved their understandings of fundamental programming concepts, no significant difference was found when comparing the learning gains between the two groups.
Une « Transformée d’Huygens-Fresnel Généralisée» (THFG) est introduite afin de prendre en compte l’astigmatisme induit par des éléments optiques dans le cadre de la théorie de la diffraction scalaire et de l’optique paraxiale. La THFG, avec une réponse impulsionnelle et des conditions d’échantillonnage idoines, permet une implémentation rigoureuse des étapes de propagation et de restitution en holographie numérique en ligne. Il est également proposé de localiser le jet photonique produit par chaque goutte pour accroître de manière notable la précision sur la position axiale des gouttes. L'applicabilité de ces différents développements théoriques et numériques est démontrée expérimentalement sur un écoulement de gouttes en conduite cylindrique, en obtenant avec une bonne précision leurs positions 3D et leurs tailles.
Un nouveau Modèle non-linéaire de photodiode, décrivant la conversion du bruit d'intensité relative du laser en bruit de phase RF, est proposé. Ce modèle comprend une cellule à retard RC non-linéaire. La validité de ce circuit équivalent est confirmée par un bon accord entre les résultats mesurés et les résultats simulés pour différentes fréquences micro-ondes.
Malgré la potentialité des composants de puissance HEMT en nitrure de gallium dans le domaine de l'électronique de puissance, de nombreux problèmes de fiabilité limitent encore les performances électriques théoriquement atteignables et nécessitent donc un effort d'analyse et de compréhension. La caractérisation de la résistance à l'état passant de ces transistors est nécessaire pour comprendre la dynamique de certains phénomènes tels que le piégeage. La dégradation de cette résistance a été toujours attribuée au piégeage dans le canal 2DEG, sans tenir compte des contributions possibles des contacts source et drain (métal/semi-conducteur). Dans ce travail, des mesures de résistance, avec et sans illumination UV, sont effectuées sur deux options technologiques différentes pour mettre en évidence l'effet de l'illumination sur les résistances de contact de certains procédés technologiques.
L'expérimentation en réseaux est incontournable pour évaluer et valider de nouvelles technologies, architectures et protocoles de communication. Il s'avère que les résultats obtenus à partir de simulations sont la plupart du temps irréalistes, les simulateurs ne pouvant pas intégrer tous les modèles de comportement des composants réseaux, des systèmes opératoires et des applications des machines d'extrémité. Des travaux autour de l'émulation et de l'expérimentation réelle en réseaux ont donc vu le jour. Ce papier présente les motivations et besoins qui ont conduit à la mise en place d'une telle plate-forme expérimentale au LAAS - LaasNetExp - et décrit ses principes de conception. L'article détaille comment les conditions expérimentales peuvent être contrôlées pour des expériences reproductibles et faciles à analyser. L'article montre aussi comment des conditions expérimentales réalistes configuration des émulateurs et générateurs de trafics) peuvent être mise en oeuvre à partir des résultats de caractérisation et analyse du trafic Internet. Cet article évalue le réalisme des expérimentations ainsi obtenues.
Cet article présente la conception et les résultats obtenus pour une rectenna fonctionnant dans les bandes UMTS et ISM. Cette rectenna, développée pour des applications 'Internet des Objets', est composée d'une antenne à dipôle arrondi et d'un redresseur haute efficacité. Les résultats expérimentaux montrent de très bonnes performances pour cette rectenna. Le redresseur peut délivrer 490µW sur une charge de 1.5KΩ pour une puissance RF en entrée du redresseur de 0 dBm.
Nous présentons dans cet article une architecture thyristor silicium présentant de meilleures caractéristiques à l'état bloqué en haute température. L'amélioration de la tenue en tension, par rapport à un thyristor classique, est rendue possible par une utilisation judicieuse de contacts Schottky sur la face arrière d'un thyristor classique. La présence d'un tel contact permet de réduire l'injection de trous de l'émetteur P+ face arrière dans la base N-, et par conséquent de diminuer le courant de fuite à l'état bloqué et ainsi améliorer la tenue en tension directe à températures élevées. Nous étudions, à partir de simulation TCAD, l'effet de la technique sur une structure thyristor 5 kV symétrique en tension sur ses caractéristiques électriques que nous comparerons à celles d'une structure thyristor classiques et à courtscircuits d'anode.
Actuellement, une succession d'erreurs qui ne peut être masquée par le mécanisme de ﬁabilisation (code à effacement) doit attendre au minimum un RTT pour être corrigée, ce qui n'est souvent pas satisfaisant pour les application temps-réel. Les concepts apportés par la théorie du codage réseau (Network Coding) permettent aujourd'hui de combler le fossé entre ﬁabilisation et ﬁabilité totale en s'abstrayant du concept d'ARQ. Cet article présente un mécanisme innovant nommé Tetrys dont l'une des caractéristiques est de pouvoir reconstruire les pertes dans un temps paramétrable et indépendant du RTT. A notre meilleure connaissance, c'est la première fois que les propriétés temps réel d'un tel mécanisme sont énoncées et étudiées. Intuitivement, les applications ciblées sont celles nécessitant une ﬁabilité totale avec contrainte de délai. Il s'avère qu'à taux de redondance égal, des applications telles que la VoIP et la vidéo-conférence sont bien plus performantes lorsque les ﬂux sont protégés par le mécanisme Tetrys que par les mécanismes FEC ou H-ARQ classiques. Après un rapide rappel des points clés relatifs à FEC et H-ARQ, nous décrivons le principe de Tetrys et montrons son possible déploiement. Nous comparons les performances de FEC, H-ARQ et Tetrys du point de vue applicatif à l'aide d'un prototype et suivant des métriques de délai et dans le cadre de la VoIP, de qualité de la transmission (MOS).
Nous présentons ici un algorithme de résolution du problème de gestion de perturbations dans le domaine du transport aérien soumis dans le cadre du Challenge ROADEF 2009. À partir d'un plan de vol connu, de l'affectation des passagers aux vols et compte tenu d'un ensemble de perturbations, il s'agit de trouver de nouvelles affectations des avions aux vols et des passagers aux vols qui permettent, au terme d'une certaine fenêtre temporelle, de s'approcher au mieux de la situation prévue avant perturbations. Notre approche consiste en deux phases. La première phase génère une solution réalisable, donnée sous la forme d'un ensemble de rotations d'avions et d'un ensemble d'itinéraires passagers ; la seconde phase améliore itérativement la solution en faisant intervenir différents modules de modification des rotations et de réaccommodation de passagers qui maintiennent la solution réalisable.
Un nouveau concept d'interrupteur de puissance HEMT en GaN présentant la fonctionnalité « normally-off » est expérimentalement validé. L'introduction d'une couche P-GaN suffisamment dopée (autour de 2 x 10 18 cm-3) au sein de la couche buffer GaN NID, en-dessous de l'électrode de grille et sous l'interface AlGaN / GaN, permet d'obtenir une tension de seuil positive de 0,8 V, soit un décalage significatif supérieur à 6 V par rapport à celle d'un HEMT conventionnel « normally-on ».
Ces travaux étudient la pertinence des associations filtre-détecteur dans toute stratégie visuelle de suivi par détec-tion. Ils privilégient notamment les méthodes de Monte Carlo et des traqueurs basés sur des banques de repré-sentations couplés à des détecteurs visuels. Les évalua-tions quantifient l'influence des associations filtre, détec-teur, mono vs. multi représentations sur les performances globales. Nous observons, par exemple, que celles-ci sont très liées au choix du détecteur ; une différence de 1% en rappel entre détecteurs peut induire une baisse de 10% sur la précision du traqueur global.
Dans le domaine des microondes, l'optique représente une solution élégante pour la montée en facteur de qualité dans les systèmes de génération de fréquence. Différents types de résonateurs optiques nous permettent d'atteindre des facteurs de qualité au delà de 109 et sont utilisés comme une alternative aux lignes à retard optiques utilisées dans les oscillateurs optoélectroniques (OEO) classiques. Les propriétés en termes de coefficient de qualité de boucles résonantes fibrées sont présentées et une application de l'utilisation de ces résonances pour la stabilisation d'oscillateurs microonde est détaillée. Les travaux concernent à la fois une étude théorique et une étude expérimentale du dispositif, avec comme paramètre principal l'étude de la stabilité de fréquence de l'oscillateur et de la contribution du bruit blanc de fréquence sur le bruit de phase de l'oscillateur. Une étude théorique et expérimentale sur la stabilité thermique de l'oscillateur est aussi présentée.
Ce travail s'intéresse à l'ordonnancement dans un atelier de fonderie. Il s'inspire du cas d'une usine de fabrication de tubes. La spécificité de cet exemple vient d'un objectif et de contraintes liés à la consommation d'électricité, de la variabilité des durées opératoires en fonction de la puissance allouée aux fours, ainsi que de la présence d'opérateurs en nombre limité. L'objectif est de minimiser la facture énergétique. Un premier modèle, basé sur une discrétisation fine, a été exposé dans Trépanier et al (2005), suite à l'étude d'une politique de délestage. Nous présentons ici un nouveau modèle en temps continu.
Un nouveau type de transformateur RF compact composé d’enroulements solénoïdaux 3D a été développé et caractérisé. L’ajout de capacités MIM aux extrémités des solénoïdes a permis la conception de transformateurs d’impédance à 2, 4 et 8 tours, adaptés sur des bandes de fréquences s’étendant de 1 GHz à 13 GHz. Les performances obtenues se situent à l’état de l’art. Elles montrent une transmission supérieure à -1 dB sur une large bande de fréquences, et une réflexion inférieure à -14 dB aux fréquences d’adaptation.
La récente standardisation d'une voie de retour par satellite (DVB-RCS) et les efforts conséquents de la communauté satellite en terme d'interopérabilité au cours de ces dernières années permettent d'intégrer les réseaux Satellite comme alternative aux réseaux terrestres. Les réseaux satellite tendent à fournir un accès large bande aux services multimédia interactifs dans des zones géographiques à faible densité. Cet article se propose d'améliorer, dans une architecture à Qualité de Service (QdS) DVB-RCS, le mécanisme d'allocation de ressource à la demande pour le rendre plus dynamique afin de satisfaire au mieux deux critères divergents qui sont : une utilisation optimale des ressources sur la voie montante, et une diminution significative de la latence dans les terminaux satellites.
Les performances d'estimation d'une antenne vectorielle sont améliorées en tirant profit de sa reconfi-gurabilité en diagramme. Une méthode est proposée afin de mettre à profit la diversité de diagramme pour estimer précisément la direction d'arrivée d'une onde électroma-gnétique.
L'objectif de ce papier est de présenter l'optimisation et la réalisation d'une diode à Superjonction et à tranchées profondes et de sa terminaison (DT-SJDiode) pouvant tenir des tensions de 600 V à l'état bloqué. Nous étudierons l'influence des paramètres technologiques et géométriques sur la tenue en tension à partir de simulations effectuées sous Sentaurus TCAD. Des travaux précédents ont permis de valider certaines étapes technologiques et de dégager un procédé de fabrication pour des applications à 1200V. Il s'agit ici d'optimiser ces différentes étapes qui influent sur les paramètres électriques (verticalité des tranchées, remplissage des tranchées de terminaison de jonction, …) pour des applications à 600V.

The purpose of this paper is to present the Deep Trench SuperJunction Diode (DT-SJDiode) optimization and realization with a 600V breakdown voltage. We present technological and geometrical parameters influences on the breakdown voltage with simulations performed with Sentaurus TCAD. Previous works allowed to validate some critical technological process steps and to create a technological process for 1200V breakdown voltage applications. The main point here is to optimize those process steps (trench verticality, termination fulfilling...), which have an important influence on the electrical properties, in order to fabricate a 600V breakdown voltage DT-SJDiode.
L'observation des réseaux et de leur trafic est importante pour l'estimation du risque dans l'Internet et par voie de conséquence la protection des systèmes informatiques. Cette observation se fait notamment par le biais de sondes de métrologie et de pots de miel. Mais l'analyse des quantités de données collectées, et la caractérisation des anomalies et attaques contenues dans ces traces restent des tâches aussi compliquées que fastidieuses, faites par des experts, et sont par conséquent lentes et coûteuses. Dans cet article, nous présentons une méthode non-supervisée pour classifier et caractériser les anomalies contenues dans le trafic des réseaux de pots de miel. Cette méthode autonome n'utilise ni signature, ni apprentissage, ni trafic documenté, ni connaissances préalables en matière de sécurité, ce qui constitue un progrès majeur en direction de l'apparition de systèmes de sécurité autonomes. Cet article montre finalement comment il est possible à partir des résultats de caractérisation des anomalies d'inférer les règles de filtrages qui pourront automatiquement servir à configurer les filtres des composants du réseau ou des pare-feux.
Cet article présente un cadre pour organiser les différents processus nécessaires à l'autonomie d'un robot. Les principaux objectifs sont de permettre la réalisation d'une variété de missions sans que le le développeur ait à écrire explicitement les schémas de contrôle, et de permettre d'augmenter les capacités du robot sans devoir ré-écrire ces schémas. L'architecture proposée repose sur une partition de la couche décisionnelle en ressources, chacune gérée par un agent spécifique. Les mécanismes qui garantissent la bonne utilisation de chaque ressource qui gère le réseau d'agents sont décrits, et illustrés dans le cas d'une mission autonome de navigation
Cet article concerne la résolution d'un problème d'ordonnancement d'atelier complexe de type flowshop hybride avec tâches multiprocesseurs. Le critère à optimiser est la minimisation de la durée totale d'ordonnancement (makespan). Nous proposons une méthode de recherche arborescente à base de divergences pour le résoudre. La méthode est évaluée sur des jeux-tests en mesurant son pouvoir de résolution exacte ou l'écart à une borne. Une étude comparative est également menée avec d'autres méthodes de la littérature. Les résultats obtenus prouvent l'efficacité de notre approche notamment sur les grandes instances.
La détection d'anomalies est une tâche critique de l'administration des réseaux. Les méthodes exis- tantes de détection d'anomalies s'appuient soit sur des signatures crées à partir d'anomalies connues, soit sur le résultat d'un apprentissage effectué sur un échantillon de trafic, deux méthodes compliquées et coûteuses en termes de ressources humaines et inefficace contre les nouvelles anomalies. Un système de détection d'anoma- lies doit donc être capable de s'adapter rapidement et de manière autonome à l'évolution du trafic, i.e. en évitant une coûteuse intervention humaine. Dans cet article, nous présentons une approche non-supervisée qui permet de détecter et caractériser les anomalies réseaux de façon autonome. Notre approche utilise des techniques de partitionnement robuste afin d'identifier les flux anormaux et construire les signatures correspondantes qui peuvent alors être déployées dans des outils classiques de sécurité. Les techniques de partitionnement utilisées sont parallélisables ce qui permet d'envisager un fonctionnement temps-réel. Nous évaluons les performances de notre système sur des traces de trafic réel. Les résultats obtenus mettent en évidence la possibilité de mettre en place des systèmes de détection et caractérisation d'anomalies autonomes et fonctionnant sans connaissance préalable.
Ce papier présente une approche originale de la modélisation de la sûreté de fonctionnement de systèmes informatiques complexes, par les réseaux de Petri stochastiques et les chaînes de Markov ; approche tenant compte, du caractère permanent ou temporaire des fautes du matériel et du logiciel, et de la propagation d'erreur du matériel au logiciel et entre composants logiciel. L'application de cette approche au CAUTRA (Coordinateur AUtomatique du TRafic Aérien) permet de comparer les résultats d'indisponibilité pour quatre architectures possibles de ce système.
Cet article présente un nouvel algorithme itératif – NADA – qui détecte, classifie et identifie les anomalies d'un trafic. Cet algorithme a pour objectif de fournir, en plus de ce que font d'autres algorithmes, toutes les informations requises pour stopper la propagation des anomalies, en les localisant dans le temps, en identifiant leur classes (e.g. attaque de déni de service, scan réseau, ou n'importe quel autre type d'anomalies), et en déterminant leurs attributs comme, par exemple, les adresses et ports sources et destinations impliqués. Pour cela, NADA repose sur une approche tomographique générique, multi-échelles, multi-critères et utilisant de multiples niveaux d'agrégation. De plus, NADA utilise un ensemble exhaustif de signatures d'anomalies qui ont été définies spécifiquement pour permettre de classifier ces anomalies. Ces signatures représentées sous forme graphique permettent une classification visuelle par les opérateurs réseaux. NADA a été validé en utilisant des traces de trafic contenant des anomalies connues et documentées comme celles collectées dans le cadre du projet MétroSec.
Une architecture compacte et originale de circuit d'alimentation permettant de synthétiser la polarisation circulaire d'une antenne tri-bande a été réalisée et testée. L'utilisation d'un diplexeur dans ce circuit a permis d'obtenir une diversité de polarisation circulaire, à savoir une polarisation circulaire droite pour les deux bandes de radionavigation (GPS/Galileo) et une polarisation circulaire gauche pour la bande de télémétrie (TM MicroSat). Les résultats de mesure obtenus valident le concept de ce circuit d'alimentation.
Cet article propose un modèle de planification d'une chaîne logistique, basé sur une structure décisionnelle à deux niveaux. Adoptant un processus dynamique permettant d'actualiser les données à chaque étape de planification, le premier niveau planifie la production en recherchant le meilleur compromis entre les leviers décisionnels disponibles liés aux aspects capacité et coût de production. Le deuxième niveau établit un ordonnancement des opérations de fabrication et de transport en minimisant la date de fin du planning. L'interaction entre les deux niveaux est établie par des contraintes de conservation d'énergie. Nous adoptons une approche par satisfaction de contraintes dynamiques ("Dynamic Constraint Satisfaction Problem") permettant de mettre en évidence cette interaction.
Dans cet article nous présentons la faculté d'un résonateur optique de facteur de qualité Qopt=1,25.10^10 à générer simultanément un laser continu à 1,55 µm et un signal hyperfréquence à f=10 GHz de haute pureté spectrale. Ce résultat a pu être rendu possible en insérant une cavité résonante fibrée de 120 m au sein d'un oscillateur optoélectronique. Le Qopt a pu être mesuré de façon fiable et reproductible selon un dispositif de métrologie qui sera présenté. Ce fort Qopt a contribué à l'amélioration du facteur QRF du signal hyperfréquence à 10 GHz présentant un bruit de phase de -107 dBc/Hz à 10 kHz. Cependant, à l'instar d'une cavité Fabry-Pérot, un Qopt élevé s'accompagne d'une élévation de la densité d'énergie interne circulant dans la boucle fibrée, suscitant dans le guide optique la manifestation d'effets non-linéaires tel que l'effet Brillouin affectant le bruit de phase du signal hyperfréquence.
Les potentialités désormais bien reconnues du Nitrure de Galium sur un large champ d'applications, alliées à la levée de bon nombre de verrous technologiques en font un matériau particulièrement intéressant en électronique de puissance, notamment pour des applications haute tension et/ou haute température. Dans cet article, nous mettons en avant les atouts dans ce domaine au moyen de résultats issus de simulations aux éléments finis, menées sur des dispositifs élémentaires de type Jonction PN et Transistor NMOS.
Une matrice de Butler 4×4 large bande couvrant simultanément les fréquences 5G de 26 GHz et de 28 GHz est présentée. Sur la bande 25-29 GHz, les résultats obtenus rapportent une transmission supérieure à -7,5 dB sur l’ensemble des sorties pour -6 dB en idéal. Les déphasages en sortie sont stabilisés à –45°, 135°, -135° et 45° avec une déviation inférieure à ±6,5° sur l’ensemble de la bande. Au-delà de ces performances, le faible coût de fabrication et la stratégie d’intégration adoptée offrent un circuit extrêmement compact dont l’aire totale est inférieure à 0,9 mm2.
Les murs traversants P + peuvent être considérés comme des régions clés dans les architectures 3D pour de nouvelles fonctions de puissances intégrées bidirectionnelles en tension et en courant. Dans la première partie, nous démontrons la faisabilité de la fabrication de ces murs P + qui combinent la réalisation de tranchées profondes dans le silicium par gravure ionique réactive et le remplissage de celles-ci par du polysilicium fortement dopé bore.
Cet article présente un nouveau détecteur de personnes utilisant une sélection de descripteurs par optimisation discrète type branch and bound. Plus précisément, nous utilisons une programmation binaire pour sélectionner un sous-ensemble de descripteurs hétérogènes qui optimisent conjointement les performances en détection et le coût CPU. La mise en oeuvre de ce détecteur puis son évaluation sur des bases publiques montre clairement que cette reformalisation offre un bon compromis entre taux de faux négatifs et temps de calcul comparativement aux détecteurs existants de la littérature.
L'automatisation du diagnostic de pannes dans les systèmes industriels tels que les sys-tèmes manufacturiers ou de transport souvent modélisés par des Systèmes à Evénements Discrets (SED) est un enjeu majeur. Il est nécessaire de déterminer rapidement les pro-blèmes sur les équipements afin de les réparer au plus tôt et ainsi maximiser le temps opérationnel et productif du système. Parmi les différents types de pannes, les pertes de performances temporelles sont régulièrement rencontrées comme par exemple une baisse du taux de production de pièces dans un système d'assemblage ou encore un ralentissement de convoyeurs dans un réseau de transport de bagages dans un aéroport. Ces problèmes ne sont pas facilement modélisables avec les méthodes de diagnostic à base de modèles à événements discrets connues à ce jour si bien que les outils classiques de diagnostic ne sont a priori pas bien adaptés pour en déterminer la ou les causes. L'objectif de cet article est de proposer une méthode de détection et de localisation de fautes temporelles pour une classe de SED temporisés appelés systèmes (max, +)-linéaires. Ce type de système permettant la représentation de phénomènes de synchronisation entre ressources, de durées d'opération et de temps de transmission, est particulièrement bien adapté pour identifier des décalages temporels non souhaités typiques des problèmes dans les procédés industriels. La méthode proposée se déroule en plusieurs étapes. A partir d'un flux d'observations temporisées, le problème consiste tout d'abord à déterminer si ce flux résulte d'un compor-tement en présence d'une faute temporelle ou non. Des indicateurs de fautes sont utilisés pour répondre à cette question et reposent sur l'utilisation de la théorie de la résiduation appliquée aux systèmes (max, +)-linéaires. Si la faute est détectée, il est alors nécessaire de la localiser au mieux dans le système. Les fautes temporelles potentielles sont donc répertoriées et ajoutées au modèle (max, +) du système en comportement normal. En-suite, de manière analogue à la théorie classique du diagnostic dans les systèmes à temps continu, des matrices de signatures sont proposées et permettent de déterminer les fautes candidates expliquant les observations.
Dans ce papier, nous traitons le problème de la conception formelle des systèmes logiciels réparties dynamiquement reconfigurables. Pour compléter les approches de reconfiguration comportementale souvent adoptées, nous introduisons la reconfiguration architecturale. Cette technique permet de construire dynamiquement l'architecture d'un système logiciel et de l'adapter à l'évolution de l'activité qu'il soutient. Pour formaliser les différentes instances d'architectures et styles, nous spécifions en Z les entités logicielles et leurs liens d'interaction par des schémas. Nous spécifions par des opérations Z, les règles qui régissent l'évolution dynamique des architectures de façon conforme à un style architectural spécifié aussi selon la même technique. Nous illustrons notre approche à travers les propriétés de dynamicité des logiciels de support pour les activités coopératives réparties. Pour modéliser l'architecture, nous adoptons une approche orientée composant et nous distinguons différents modes d'interaction (pull/push) entre les différents composants. Notre approche est soutenue par un environnement logiciel de simulation visuelle qui interprète les spécifications Z. Nous dispensons ainsi les concepteurs de la maîtrise de ce formalisme et nous leur offrons une interface "boîte et traits" qui fait référence dans la conception informelle des architectures. Notre environnement de simulation est couplé avec l'outil Z/EVES. Il gère les spécifications Z au format de Z/EVES tout en vérifiant leur complétude et leur exactitude. Il interprète aussi visuellement les spécifications architecturales codées au format Z/EVES.
Certains logiciels informatiques, comme les serveurs Web, peuvent se révéler vulnérables aux injections, qui permettent de détourner une fonctionnalité initialement anodine en exploitant une trop grande permissivité dans l'interprétation des requêtes. Nous nous intéressons dans cet article à la définition formelle des injections, vues comme des éléments d'un langage formel, décrit par une grammaire. Nous décrivons le problème théorique de la caractérisation des injections d'un langage donné, et proposons un algorithme permettant d'énumérer des injections, connaissant le langage cible.
Cet article décrit une stratégie de coopération entre des caméras d'ambiance et des capteurs embarqués sur un robot mobile pour : (i) suivre une personne donnée et identifiée par un tag/badge radio fréquence (RF), et (ii) faciliter sa navigation en présence de passants lors de l'exécution de cette mission. Nous privilégions une approche "tracking-by-detection" qui fusionne au sein d'un filtre particulaire par chaîne de Markov les détections visuelles déportées et les détections issues des divers capteurs embarqués (laser, vision active, RFID). Les performances du traqueur multi-personnes sont caractérisées par des évaluations qualitatives et quantitatives sur séquences pré-enregistrées. Enfin, l'intégration du système perceptuel sur le robot, le contrôle de ses actionneurs via des techniques d'asservissement visuel et diagramme d'espace libre au voisinage immédiat du robot, illustre la capacité du robot à suivre une personne donnée en espace humain encombré.
La récupération d'énergie micro-onde à bord des satellites de télécommunication géostationnaires est abordée dans cette communication. Plusieurs topologies de rectennas sont proposées. Certaines d'entre elles, très compactes, permettent de récupérer des puissances DC de l'ordre de 1 mW. Ces résultats montrent que la récupération d'énergie micro-onde représente une solution intéressante pour l'alimentation des capteurs autonomes sans fil utilisés pour le suivi de l'état de fonctionnement des panneaux satellites.
Une référence de fréquence est obtenue à 90 GHz à partir de la génération du troisième harmonique d'un oscillateur optoélectronique couplé à 30 GHz. L'influence du point de polarisation du modulateur Mach-Zehnder sur le battement RF, ainsi que sur le spectre optique, est présenté. Le signal à 30 GHz et son troisième harmonique sont générés en sortie de photodiode à des puissances de −15.5 dBm et −15.8 dBm respectivement. Une mesure de bruit de phase pour chacun des signaux a été réalisée et des niveaux de bruit de phase de −103 dBc/Hz et −95 dBc/Hz à 1 kHz de la porteuse à 30 GHz et 90 GHz respectivement ont été relevés.
Un laser à modes verrouillés est réalisé dans un objectif de multiplication de fréquence RF. La modélisation de ce laser permet, à partir des spectres optiques et RF, d’optimiser le système pour la génération d’une harmonique donnée.
Un capteur de radiation nucléaire sans fil et sans batterie est présenté. Celui-ci est basé sur la modification de la fréquence de résonance d'un résonateur micro-onde planaire par le déplacement d'une micro-membrane de silicium soumise à une surpression. Celle-ci est générée lors de l'irradiation par le dégazage d'un film de polyéthylène. Les différentes causes de non reproductibilité de la sensibilité aux radiations nucléaires sont analysées. Une nouvelle solution technologique est proposée pour simplifier la fabrication grâce à une interconnexion par iris de couplage.
Ce travail porte sur la planification tactique d'une chaîne logistique dans un environnement incertain et perturbé. Dans le but de minimiser l'effet des perturbations dues à ces incertitudes, nous proposons une approche basée sur les problèmes de satisfaction de contraintes dynamiques. Il s'agit de planifier la production en recherchant le meilleur compromis entre les leviers décisionnels disponibles liés aux aspects capacité et coût de production en adoptant un processus dynamique qui permet d'actualiser les données à chaque étape de planification. Notre approche est évaluée par simulation de scénarios dans un contexte de données incertaines et de perturbations, influant notamment sur une variation de la demande et de la capacité. Les expérimentations mettent en balance une résolution statique et une résolution dynamique. La performance d'une solution de planification est renseignée par des mesures de la stabilité. Les résultats illustrent l'intérêt de l'approche basée sur la satisfaction de contraintes dynamiques.

This work focuses on the supply chain tactical planning problem in an uncertain and turbulent environment. In order to minimize the effect of disturbances due to these uncertainties, we propose an approach based on dynamic constraint satisfaction problems. This is to plan production by searching the best compromise between available decision-making levers for capacity and production costs by adopting a dynamic process, which enables data update at each planning step. Our approach is evaluated by simulation under uncertain data. For this, we have developed various experiments related to the variation of customer demand and resource capacity. All the experiments are carried out by two different methods: a method based on a static CSP and a method based on a dynamic CSP. The performance of a planning solution is reported through stability measurement. Results of experiments confirm the performance of the method based on a dynamic CSP.
Cet article présente un système conçu pour traiter ensemble du SLAM, de la Détection et du Suivi d'objets mobiles (SLAM-MOT), en exploitant uniquement la vision. Le but est de produire depuis des données visuelles, une description exploitable par un robot mobile, d'une scène dynamique: modélisation du monde statique, localisation du robot dans ce monde, et comment les autres objets mobiles s'y déplacent. Une approche combinant Segmentation par Clustering et Classification permet de détecter d'une part des points statiques pris en compte dans le SLAM visuel, et d'autre part des groupes de points mobiles exploités pour détecter et suivre les composantes dynamiques de la scène. L'approche globale est évaluée sur des bases d'images acquises en milieu urbain
Dans le cadre de ces travaux, nous avons étudié différents principes pour concevoir une nouvelle structure MOS performante. Nous avons arrêté notre choix sur une structure se basant sur le concept de la superjonction, réalisée par gravure profonde et diffusion de bore. Une grande partie des travaux de recherche a consisté à optimiser cette structure. Pour cela, nous avons étudié l'influence des paramètres technologiques et géométriques sur le compromis " tenue en tension/résistance passante spécifique ". Nous avons également développé une terminaison innovante afin d'assurer la tenue en tension du composant. Il a ensuite fallu identifier les étapes critiques du procédé de fabrication. À partir de ces résultats, nous avons réalisé une diode 1 200 V qui nous a permis de valider certaines briques technologiques mais également la terminaison originale.
Ce papier présente une modélisation non linéaire en bruit d'un transistor bipolaire SiGe. L'implémentation de sources de bruit non linéaires dans le modèle du transistor est décrite. Ce modèle s'appuie sur l'observation d'un comportement non linéaire de la source de bruit en tension extrinsèque en parallèle à la jonction base émetteur. La validation de ce modèle est effectuée grâce à la mesure du bruit de phase du transistor étudié dans différentes configurations de polarisation et de puissance. Ce modèle a permis la conception d'un amplificateur à faible bruit de phase pour la réalisation d'un oscillateur à très haute pureté spectrale fonctionnant à 10 GHz. Cet amplificateur à deux étages a été conçu en s'appuyant sur le modèle précédent. Les performances obtenues sont d'un très bon niveau, en effet le gain est égal à 8.2 dB et le bruit de phase à 100 kHz de la porteuse de -165dBrad2.Hz-1.
De nombreux secteurs utilisent des systèmes et des logiciels critiques, dont les défaillances pourraient entraîner des pertes de vies humaines. Cet article s’intéresse au développement et à la certification des logiciels critiques, avec une illustration dans le domaine de l’aéronautique. Il souligne les difficultés rencontrées en entreprise et l’état des pratiques pour mettre en perspective quelques pistes d’améliorations possibles de celles-ci. Il démontre notamment l’intérêt d’intégrer plus étroitement et de façon continue les contraintes de la certification au processus de développement des logiciels. Notre proposition est de nous inspirer des valeurs agiles pour répondre le plus tôt possible aux exigences de certification applicables au développement des logiciels. C’est ce que nous appelons la certification continue.
La débâcle de 1940, l'Occupation et la Résistance ont placé le Midi toulousain au centre d'un intense mouvement brownien d'artistes et d'écrivains en quête de refuge. Nombre d'entre eux ont entretenu des liens divers avec le surréalisme avant-guerre.
L'interaction multitouch avec des tableurs sur tablettes soulève de nombreuses problématiques d'interaction. Dans cet article, nous présentons la conception et l'évaluation de nouvelles techniques d'interaction pour tableurs basées sur une manipulation de type stacking, qui consiste à poser l'arête/le coin/la face d'un smartphone sur l'écran d'une tablette. Dans un premier temps, nous explorons l'espace des gestes et les degrés de libertés du stacking afin de délimiter le vocabulaire d'interaction possible. Ensuite, nous proposons plusieurs techniques d'interaction pour réaliser la tâche de sélection de plages de données dans un tableur sur tablette. Afin d'implémenter la détection du smartphone par l'écran de la tablette, nous construisons une coque conductive en cuivre. En utilisant notre prototype nous comparons nos techniques à l'interaction tactile classique proposée par les tableurs. Nos résultats montrent que certaines de nos techniques d'interaction sont entre 15% et 20% plus rapides que le tactile pour sélectionner une plage de données.

Multitouch interaction with spreadsheets on mobile devices raises multiple interaction issues. In this paper, we present the design and evaluation of novel interaction techniques for spreadsheet based on the stacking paradigm, which consists in laying one edge/face/corner of a smartphone on a tablet screen. We first explore the available gestures and degrees of freedom of our prototype to delimitate the possible interaction's vocabulary. Then, we propose novel interaction techniques to perform range selection in a spreadsheet on a tablet. To detect the smartphone on the tablet screen, we conceive a conductive smartphone copper-shell. We evaluate our prototype against the regular tactile interactions provided by spreadsheet apps. Our studies reveal that some of our interaction techniques perform between 15% and 20% faster for range selection.
L’utilisateur est la source principale de l’information diffusée dans les médias sociaux et mais il est, en même temps, influencé par les informations partagées sur les réseaux. Le phénomène de buzz, c’est-à-dire faire « du bruit » autour d’une information (fait ou rumeur) pour que plusieurs utilisateurs soient intéressés par celle-ci simultanément, peut être défini comme une information populaire dans un temps spécifique. Notre étude porte sur l’influence de l’enrichissement dynamique de profil utilisateur (Mezghani et al., 2014) sur la propagation des buzz avec application au réseau social Delicious. Delicious contient des annotations sociales (tags) fournies par les utilisateurs et qui contribuent à influencer les autres utilisateurs afin de suivre certaines informations ou de les utiliser. Notre étude suit la méthodologie suivante : 1) nous analysons la propagation des tags considérés comme des buzz dans le temps, 2) nous appliquons l’enrichissement dynamique de profil utilisateur et nous étudions l’influence de cet enrichissement dans la propagation de buzz, 3) nous analysons si l’approche d’enrichissement anticipe la propagation de buzz. Nous montrons dans cet article l’intérêt, lors de l’enrichissement de profil, de filtrer les informations afin de proposer des résultats pertinents à l’utilisateur et éviter de « mauvaises » recommandations.
Durant cette dernière décennie, les réseaux de capteurs sans fil (WSN) et plus généralement les liens de collecte dans l'Internet des Objets et les réseaux pour les systèmes ambiants, ont suscité une forte attention dans le monde industriel et celui de la recherche. Une de leurs applications est la localisation indoor des noeuds communicants. Le mécanisme d'évaluation de la distance entre les noeuds (ranging) est nécessaire pour les noeuds afin de déterminer leur position de façon précise. Les travaux de recherche présentés dans cet article s'inscrivent dans cette thématique et visent à utiliser les liens radio de type Ultra Wide Band (UWB), proposés par l'amendement de l'année 2007 de la norme IEEE 802.15.4, également utilisée par Zigbee et 6LoWPAN. Les transmissions UWB permettent d'obtenir un ranging performant par mesure de temps de vol (Time of Flight, ToF) qui permet d'alimenter des algorithmes et des protocoles de localisation des noeuds, sans matériel dédié (GPS, accéléromètre, ...). Pour que cette capacité de localisation soit réellement intéressante sur le plan applicatif, les messages de ranging doivent être intégrés dans les messages usuels du réseau (données, beacons, acquittements, etc.). Or, parce que le ranging repose sur des messages contraints temporellement, cette intégration pose problème, notamment à cause de la dérive des horloges qui n'est plus négligeable si les échanges sont étalés dans le temps. On aboutit alors à une grande imprécision de mesure de ToF et donc, de distance. Pour corriger ces erreurs, nous avons introduit des techniques originales de corrections algorithmiques dynamiques afin d'éliminer ces imprécisions. Une solution protocolaire de mesure est proposée et évaluée par un prototypage réel. Les résultats montrent une précision d'une vingtaine de centimètres, ce qui est bien meilleur que les solutions précédentes étudiées et qui laisse envisager la proposition future d'une inclusion du trafic de ranging dans le trafic usuel du réseau.
Dans cet article, nous examinons l'hypothèse selon laquelle les politiques publiques, en particulier dans le domaine du développement durable, reposent sur des modalités rhétorique. En s'appuyant sur le cas des politiques locales mises en œuvre dans la région du Nord-Pas de Calais, cet article insiste sur la nécessité d'apporter des fondements légitimes à cette modalité rhétorique, fondements qui conditionnent son efficacité. Dans cette optique, nous nous appuyons sur une méthode pluridisciplinaire. Les résultats obtenus permettent de dessiner les contours d'une politique de développement durable acceptable qui s'appuie sur deux modalités complémentaires : régulation/incitation et rhétorique.

This paper deals with the ways in which public policies, in particular those aiming at promoting sustainable development, lean on rhetorical modalities. Raising the case of the policies implemented in the Nord-Pas de Calais, it emphasizes that the legitimacy of the rhetorical modality of public policies should be considered, since its efficiency depends on a wide social acceptability. In this regard, pluridisciplinary method has been used. Results enable delimiting a policy of sustainable development that is acceptable and that actually leans on two complementary modalities: regulation/incentive, and rhetoric.
L'article tente de réévaluer la portée de la critique de Carlo Benetti au sujet de la théorie de la monnaie marxienne. Si effectivement il n'est pas possible de déduire logiquement la théorie de la monnaie de la théorie de la marchandise chez Marx, nous proposons de postuler la monnaie à l'intérieur même de la théorie de la valeur. Ce type de postulat serait fondamentalement différent du postulat keynésien de la monnaie qui conduit à rejeter la théorie de la valeur et de la répartition. Cette proposition de " postulat marxien de la monnaie " présente l'avantage de conserver les enseignements qu'apporte l'analyse marxienne de l'économie monétaire.
<p>Cette communication porte sur l'analyse de réseaux de producteurs valorisant leurs productions alimentaires localisées en circuits courts, dans le département de la Drôme (26), en France. Nous montrons que chez ces acteurs, le développement des productions s'effectue selon des systèmes d'autorité inédits, qui garantissent une stratégie de production et une forme d'inscription dans l'espace social alimentaire local spécifiques. Nous montrons ensuite que la prise en compte de leur logique d'action est essentielle à l'accompagnement institutionnel de ce type de développement agricole et agro-alimentaire, en considérant l'articulation contentieuse entre une politique institutionnelle de valorisation de l'agriculture biologique et ces réseaux d'acteurs dont la logique d'action est transversale à cette forme de labellisation.</p>