Dissertations / Theses: 'Systèmes dédiés à l'automatique'

1

Pierrot, Philippe. "Mise en oeuvre des processeurs de traitement rapide du signal pour la conception de systèmes dédiés à l'automatique." Nancy 1, 1988. http://www.theses.fr/1988NAN10485.

Full text

Abstract:

L'automatique d'aujourd'hui doit très souvent produire des résultats en temps réel à l'aide de techniques numériques. Or, depuis le début des années 80, plusieurs types de processeurs spécialisés dans le traitement rapide du signal sont apparus sur le marché, parmi lesquels les réseaux de processeurs a architecture systolique et les processeurs à architecture harvard. Il nous a alors semblé judicieux de mettre en œuvre ces techniques sur ces nouveaux outils à notre disposition de manière à améliorer les performances des systèmes actuels. Après avoir justifié le rejet de la première catégorie de processeurs, et le choix que nous avons fait pour la seconde, nous exposons les résultats obtenus pour trois classes d'algorithmes : 1) Ceux qui utilisent des fonctions arithmétiques standards et des manipulations de matrices simples (multiplication, addition. . . ) : version récursive de l'algorithme des moindres carrés et méthode du gradient ; 2) ceux qui, en plus, nécessitent la résolution de systèmes matriciels : version directe de l'algorithme des moindres carrés et méthode de Newton ; 3) ceux pour lesquels il faut mettre en œuvre des techniques d'inversion de matrices : filtrage de Kalman. De plus, avant d'évoquer les perspectives d'application, nous proposons une architecture de carte matérielle adaptée à ces tâches

APA, Harvard, Vancouver, ISO, and other styles

2

Renault, Stéphane. "Application de l'automatique au contrôle actif d'écoulements pulsés." Poitiers, 1998. http://www.theses.fr/1998POIT2257.

Full text

Abstract:

Ce travail concerne l'utilisation d'un volet mobile afin de reduire la perturbation causee par des fluctuations de debit. Nous avons experimente son fonctionnement sur diverses applications industrielles dans des conditions tres differentes et notamment en utilisant simultanement plusieurs actionneurs. L'algorithme de commande adaptative temps-frequence pilotant le dispositif utilise un estimateur a moindres carres. L'emploi d'un estimateur robuste est, dans ce cas, preferable, d'ou notre choix de definir un estimateur a erreur bornee complexe et adaptatif. Enfin, il est possible de mettre a profit la forte non linearite du dispositif, afin d'en ameliorer le rendement. Il apparait alors qu'en donnant au volet une forme ovale, ses performances en sont ameliorees.

APA, Harvard, Vancouver, ISO, and other styles

3

Fantini, Jacques. "Contribution à l'élaboration de systèmes informatiques parallèles matériels et logiciels pour le domaine de l'automatique." Nancy 1, 1991. http://www.theses.fr/1991NAN10185.

Full text

Abstract:

Ce mémoire est consacre à la conception d'architectures matérielles parallèles à base de processeurs arithmétiques rapides, ainsi qu'à l'élaboration de modèles logiciels pour l'exploitation de ces systèmes et leur programmation en environnement parallèle. Dans la première partie, l'étude et la synthèse des architectures parallèles, des composants de base et des mécanismes de communication précèdent la définition des caractéristiques de la machine réalisée. Ce système est composé d'un module processeur arithmétique rapide connecte sur le bus d'un micro-ordinateur par l'intermédiaire de deux plans mémoires à double accès. L'interconnexion de plusieurs modules définit l'architecture parallèle multi-DSPS, chacun d'eux pouvant communiquer via le bus commun et un réseau d'aiguillages configurable. La deuxième partie est consacrée aux développements logiciels et est dirigée selon deux axes, l'élaboration d'un modèle de programmation pour la machine multi-DSPS afin de repartir l'ensemble des taches sur les modules, et d'un outil d'aide à la parallelisation automatique. Ce dernier analyse un programme source algorithmique séquentiel et restitue une version source parallélisée, à parallélisme maximal ou structurel. La méthode de calcul des dépendances mise en œuvre est l'analyse syntaxique puis la construction d'une matrice de dépendances

APA, Harvard, Vancouver, ISO, and other styles

4

Nguyên, Duy-Tùng. "Vérification symbolique de modèles à l'aide de systèmes de ré-écriture dédiés." Phd thesis, Université d'Orléans, 2010. http://tel.archives-ouvertes.fr/tel-00579490.

Full text

Abstract:

Cette thèse propose un nouveau type de systèmes de ré-écriture, appelé les systèmes de réécriture fonctionnels. Nous montrons que notre modèle a la puissance d'expression des systèmes de ré-écriture et qu'il est bien adapté à l'étude de propriétés de sûreté et de propriétés de logique temporelle de modèles.Nous avons mis en évidence une sous classe de systèmes fonctionnels, les élémentaires et les élémentaires à droite, préservant la puissance d'expression des systèmes fonctionnels et des techniques d'accélération des calculs aboutissant à un outil de vérification symbolique efficace.Dans la partie expérimentale, nous avons comparé notre outil, d'une part avec des outils de ré-écriture tels que Timbuk, Maude et TOM, d'autre part avec des outils de vérification tels que SPIN, NuSMV, SMART, HSDD. Nos benchmarks démontrent l'efficacité des systèmes fonctionnels élémentaires pour la vérification de modèles.

APA, Harvard, Vancouver, ISO, and other styles

5

Bussenot, Robin. "Rendre agile les tests d'intégration des systèmes avioniques par des langages dédiés." Thesis, Toulouse 3, 2018. http://www.theses.fr/2018TOU30128/document.

Full text

Abstract:

Dans l'ingénierie avionique, les tests d'intégration sont cruciaux : ils permettent de s'assurer du bon comportement d'un avion avant son premier vol, ils sont nécessaires au processus de certification et permettent des tests de non-régression à chaque nouvelle version d'un système, d'un logiciel ou d'un matériel. La conception d'un test d'intégration coûte cher car elle mêle la réalisation de la procédure, le paramétrage de nombreux outils couplés au banc de test ainsi que l'adressage des interfaces du système testé. Avec des procédures de test écrites en langage naturel, l'interprétation des instructions d'un test lors de son rejeu manuel peut provoquer des erreurs coûteuses à corriger, en raison notamment des actions précises à entreprendre lors de l'exécution d'une instruction de test. La formalisation et l'automatisation de ces procédures permettraient aux équipes de testeurs de se concentrer sur la réalisation de nouveaux tests exploratoires et sur la mise au point de tels systèmes au plus tôt. Or, un système avionique est composé de plus d'une centaine de systèmes embarqués, chacun concernant des compétences spécifiques. Notre contribution est alors un framework orchestrant les langages de test dédiés à l'intégration de systèmes avioniques dans une vision Agile. Nous introduisons tout d'abord le concept de langage spécifique à un domaine (Domain Specific Language ou DSL) et montrons comment nous l'utilisons pour la formalisation des procédures de test dédiées à un type de système particulier. Ces langages devront pouvoir être utilisés par des testeurs avioniques qui n'ont pas forcément de compétences en informatique. Ils permettent l'automatisation des tests d'intégration, tout en conservant l'intention du test dans la description des procédures. Puis, nous proposons l'approche BDD (Behavior Driven Development) pour valider l'intégration de systèmes par scénarios comportementaux décrivant le comportement attendu de l'avion. Nous nommons Domain Specific Test Languages (DSTL) les langages utilisés par les testeurs. A chaque système (ATA ou Air Transport Association of America) correspond un DSTL métier. Un premier DSTL concernant les systèmes de régulation de l'air a été développé entièrement en tant que preuve du concept à partir de procédures existantes pseudo-formalisées. L'expérimentation s'est poursuivie avec les calculateurs standardisés IMA (Integrated Modular Avionic) pour lesquels les procédures de test sont décrites en langage naturel et sont donc non automatisables. A partir d'un corpus de procédures, nous proposons un premier processus empirique d'identification des patrons de phrases peuplant un DSTL. Le corpus fourni est composé de dix procédures totalisant 108 chapitres de test et 252 tests ou sous-tests comportant au total 3708 instructions pour 250 pages Word. Rendre agile ces tests d'intégration consiste à proposer une approche collaborative pour formaliser un DSTL que ce soit pour les patrons de phrase de la grammaire concrète ou pour les patrons de transformations vers des langages exécutables
In avionics engineering, integration tests are crucials: they allow to ensure the right behavior of an airplane before his first flight, they are needed to the certification process and they allow non-regression testing for each new version of a system, of a software or of a hardware. The design of an integration test is expensive because it involves the implementation of the procedure, the configuration of tools of the bench and the setup of the interfaces of the system under test. With procedure written in natural language, the interpretation of statements of a test during the manual execution can lead to mistakes that are expensive to fix due to accurate actions needed to perform a statement. The formalization and the automation of those procedures allow testers team to focus on the implementation of new test cases. First of all, we introduce Domain Specific Language (DSL) and show how we use it to formalize tests procedures dedicated to a kind of system. Those languages should be able to be use by avionic testers which do not necessarily have programming skills. They allow test automation, while maintaining test intention in the test description. Then, we proposed a BDD (Behavior Driven Development) approach to validate the integration of systems thanks to behavioral scenarios describing the expected behavior of the airplane. Our contribution is a framework which orchestrate DSLs dedicated to integration test of avionic systems in an Agile vision. We named Domain Specific Test Languages (DSTL), languages used by expert testers. For each system (ATA ou Air Transport Association of America) corresponds a DSTL business. A first DSTL about the validation of airflow control systems has been developed as a proof of concept from existing procedures pseudo-formalized. The experimentation has been continued with IMA (Integrated Modular Avionic) calculators for which test procedures are written in natural language and thus are not automatable. From a corpus of procedures, we propose a first empirical process to identify sentence patterns composing the DSTL. The corpus provided is composed by ten procedures totaling 108 test chapters and 252 tests or subtests involving 3708 statements for a total of 250 Word pages. Make Agile integration tests in this context consist to propose a collaborative approach to formalize a DSTL and to integrate it in the orchestration framework to generate automatically the glu code

APA, Harvard, Vancouver, ISO, and other styles

6

Tamani, Nouredine. "Interrogation personnalisée des systèmes d'information dédiés au transport : une approche bipolaire floue." Rennes 1, 2012. http://www.theses.fr/2012REN1E003.

Full text

Abstract:

Les applications actuellement disponibles de recherche d’itinéraires dans les réseaux detransport collectif ne permettent qu’une recherche circonscrite à une seule offre detransport (transport urbain, aérien, ferroviaire, maritime, etc. ). L’utilisateur est mis face à une profusion de données dont il n’est pas aisé de distinguer les informations pertinentes des informations inutiles. Dans ce contexte, les préférences utilisateur sont considérées pour la recherche du meilleur itinéraire. Nous modélisons ces préférences à l’aide de conditions bipolaires floues associant des conditions d’acceptation et des conditions d’optimalité. Ces préférences sont exprimées dans un cadre relationnel composé d’une algèbre relationnelle bipolaire et d’un langage d’interrogation : le SQLf bipolaire. Les préférences utilisateur jouent dans notre approche le rôle de filtre initial des données, que nous combinons à une logique de description étendues aux relations m-aires et aux conditions bipolaires floues, afin de cibler les meilleurs sous-ensembles de données à même de répondre efficacement aux requêtes de l’utilisateur. Nous proposons dans cette thèse une approche d’interrogation personnalisée des systèmes d’information dédiés au transport, qui associe des préférences bipolaires floues et des ontologies. Le but étant de fournir aux usagers un moyen de combiner d’une manière automatique, flexible et personnalisée, les différents services de transport disponibles pour effectuer leurs déplacements. Les résultats préliminaires obtenus illustrent le fort potentiel de notre démarche pour le développement d’un nouveau type de services personnalisés destinés aux usagers des réseaux de transport
Today’s web applications dedicated to trip planning are mainly limited to only one kind of transport service (urban transport, air transport, transport by rail and sea, etc. ). The user is then compelled to build manually his/her trip by combining available transport services. This querying can lead to process huge volumes of data, and can deliver massive responses, in which it is difficult to the user to distinguish the relevant answers from irrelevant ones. In this context, user preferences are considered in the process of retrieval of the best trip. In our case, user preferences are modelled by fuzzy bipolar conditions which associate essential preferences (very important preferences), and minor preferences (less important preferences), and expressed within a relational framework based on a bipolar relational algebra and a relational query language called bipolar SQLf. User preferences play the role of data screening, which we combine to a reasoning mechanism made of a description logic extended to m-ary relations and fuzzy bipolar conditions, so that only the most relevant data is targeted to evaluate user queries. We introduce in this thesis, a new approach for personalized querying of information systems dedicated to multimodal transport network, based on fuzzy bipolar preferences and ontologies. The objective is to provide users with means to combine automatically, in personalized and flexible way, several transport networks in order to plan their preferred trips. Preliminary results point out the potentialities of our approach in the development of new kind of personalized user services

APA, Harvard, Vancouver, ISO, and other styles

7

Déjardin, Romain. "Récepteurs itératifs dédiés à la correction de saturation pour les systèmes OFDM." Reims, 2010. http://theses.univ-reims.fr/sciences/2010REIMS005.pdf.

Full text

Abstract:

Malgré la difficulté d’amplifier les systèmes mutli-porteuses à haut rendement, étant donnée la dynamique des signaux concernés, la modulation orthogonal frequency division multiplexing (OFDM) est aujourd’hui devenue incontournable dans les systèmes de communication. Elle est d’ailleurs de plus en plus utilisée dans les normes de transmission filaires ou non. Pourtant, le high peak-to-average power ratio (PAPR) reste le principal inconvénient de l’OFDM. Différentes techniques ont été proposées pour contraindre la dynamique des signaux à l’émission. Cependant, elles sont le plus souvent très compliquées à mettre en oeuvre et nécessitent des procédés particuliers au récepteur et la transmission d’une information supplémentaire dédiée. Contraindre volontairement l’amplitude du signal est une technique efficace et simple pour réduire le PAPR des signaux OFDM. Si le bruit hors-bande résultant peut être facilement réduit par filtrage, les dégradations subies au sein de la bande utile obligent le récepteur à adopter une stratégie de recouvrement de la performance de la transmission. Cette thèse propose une revue complète du PAPR des signaux OFDM et de la méthode de clipping des signaux d’émission. Nous proposons également d’établir la performance analytique des systèmes OFDM avec clipping au regard de la capacité de canal et de la fiabilité de l’information binaire. Aussi, les techniques au récepteur permettant de recouvrer la performance dégradée par le clipping sont étudiées. Nous portons particulièrement notre attention aux approches par annulation du bruit de clipping et reconstruction d’amplitude en proposant leur comparaison exhaustive ainsi qu’une méthode dérivée de la première. Finalement, nous posons la description d’un nouveau récepteur proposant une information a posteriori corrigée des bits du mot de code. Cette information souple est en fait basée sur une décision sous-optimale par maximum de vraisemblance (SML). L’étude de l’algorithme montre son efficacité aussi bien sur canal blanc que sélectif en fréquence ; scénarios pour lesquels il permet de s’approcher très prés du cas sans clipping
Despite the fact that multi-carrier signals amplification is pratically difficult due to their Gaussian-like distribution and the non-linear behaviour of power amplifiers, the orthogonal frequency division multiplexing (OFDM) modulation has been successfully brought in many communication standards for wired and wireless tranmsissions. However, the high peak-to-average power ratio (PAPR) of OFDM signals stands for the OFDM major drawback. Several strategies can be cited to manage the PAPR at transmitter side. However, most of them are computationally expensive and need a dedicated process at receiver relying on side information transmission. The deliberate amplitude clipping and filtering before amplification is an easy way to restrain PAPR at a desired level. If the out-of-band noise caused by clipping can be easilly discarded by filtering, the in-band distortion noise, also refered as clipping noise, must be mitigated at receiver side in order to restore the transmission performance. In this Thesis, we propose a wide review of both PAPR and clipping. We also give an analytical performance analysis of OFDM systems running under clipping constraint. Channel capacity and bit error rate are derived and conclusions are given. Afterwards, dedicated techniques mitigating clipping effects are studied. Clipping noise cancellation and decision aided reconstruction are especially reviewed. We also propose a complete comparison of these techniques and give an increased performance version of the first one. Finally, we propose a new scheme dealing with code word bits a posteriori probability enhancement. This soft decision is based on a suboptimal maximum likelihood (SML) detection using a limited neighbour signals to perform the transmitted code word detection. Actually, the receiver performance study shows that the algorithm can operate under severe clipping ratio constraint and is able to perform close to the non-clipped transmission case over both AWGN and frequencyselective channels

APA, Harvard, Vancouver, ISO, and other styles

8

Hallak, Elwan Hamza. "Systèmes optiques dédiés à la 5° génération de réseaux sans fils (5G)." Thesis, Université Grenoble Alpes (ComUE), 2017. http://www.theses.fr/2017GREAT047/document.

Full text

Abstract:

Cette thèse concerne le développement de futurs appareils, systèmes et réseaux prenant en charge l’internet haute vitesse, sans fil 5éme g´enération (5G). La demande de débit très élevé nécessite une bande passante suffisante, et ainsi la bande de fréquence millimetrique (mm-wave) a beaucoup d’intérêt. Un certain nombre de technologies devront converger, coexister et interagir, et surtout, coopérer, si cette vision doit être efficace et rentable. Le concept principal de cette de 5G est l’intégration de réseaux de fibre optique et Les réseaux radio grâce à la technologie Radio-sur-Fibre (RoF) aux fréquences d’onde millimetriques, pour fournir des services à large bande passante et permettre des réseaux évolutifs et gérables sans structure d’interface très complexe et multiples protocoles superposés.Dans cette thèse, les systèmes de communication RoF à ondes millimetriques sont théoriquement étudiés et démontrés expérimentalement pour étudier les altérations du système. Le travail présenté dans cette thèse est axé sur le bruit optique représenté par le bruit de phase et d’intensité induit par la source optique et la dispersion chromatique introduite par la fibre optique. Le bruit optique est analysé et mesuré pour différentes techniques de génération optique. Deux dispositifs différents de conversion, un mélangeur et un détecteur d’enveloppe sont, appliqués pour le traitement du signal et pour décorréler la phase et le bruit d’intensité. Nous souhaitons souligner que cette étude et le modèle peuvent s’appliquer à tout type de système de génération optique hétérodyne et à toute gamme de fréquences. La corrélation entre les modes optiques en peigne à fréquence optique est examinée pour montrer l’impact de la dispersion chromatique. Cette thèse présente la distribution d’énergie des ondes millimetriques et son influence sur la portée des fibres et la façon dont l’effet de dispersion chromatique sur le réseau RoF depend des paramètres de dispersion. Ensuite, cette thèse démontre comment la décorrélation de la phase optique induite par la dispersion chromatique entraîne un bruit de partition de modes dans les réseaux de communication RoF à ondes millimétriques.Lors de la transmission de certains types de données sur le système, les résultats démontrent l’impact du bruit optique et de la dispersion chromatique sur le qualité du signal. Les résultats de simulation sont présentés et sont en très bon accord avec les résultats expérimentaux. La grandeur du vecteur d’erreur evaluée par en processus en ligne montre l’impact des altèrations du système sur les performances du système. Le débit de données et l’évolution du système présentée sont en conformité avec les normes de communication comme à ondes millimétriques
This thesis is for the development of future devices, systems and networks supporting the 5th Generation (5G) high-speed wireless internet. The demand for very high bit rate requires a sufficient large bandwidth, and therefore Millimeter-Wave (mm-wave) frequency band has a lot of interest. Several number of technologies will need to converge, co-exist and interoperate, and most importantly, cooperate, if this vision is to be efficiently and cost-effectively realized. The main concept within this next 5G is the integration of optical fiber networks and radio networks through Radio-over-Fiber (RoF) technology at mm-wave frequencies, to provide high-bandwidth front/backhaul services and enable scalable and manageable networks without a highly complex interface structure and multiple overlaid protocols.In this thesis, the mm-wave RoF communication systems are theoretically studied and experimentally demonstrated to investigate the system impairments. The work presented in this thesis is focused on optical noise represented by phase and intensity noise induced by optical source and chromatic dispersion introduced by optical fiber. The optical noise is analyzed and measured for different optical generation techniques. Two different down-conversion stages, mixer and envelope detector, are applied for signal processing and to decorrelate phase and intensity noise. We would like to highlight that this study and the model can be applicable toany kind of optical heterodyne generation system and any frequency range. The correlation among optical modes in optical frequency comb is examined to show the impact of chromatic dispersion. This thesis also exhibits the mm-wave power distribution over fiber span and how the chromatic dispersion effect on the RoF network is modified by varying dispersion parameters. Then, this thesis demonstrates how the optical phase decorrelation induced by chromatic dispersion results in mode partition noise at mm-wave RoF communication networks.When transmitting some types of data over the system, the results demonstrate the impact of optical noise and chromatic dispersion on the signal quality. The simulation results are presented and are in very good agreement with experimental results. The error vector magnitudethrough online process shows the impact of the system impairments on the system performance. The data rate and system evolution are compliance with communication standards at mm-wave

APA, Harvard, Vancouver, ISO, and other styles

9

Blouin, Arnaud. "Un modèle pour l'ingénierie des systèmes interactifs dédiés à la manipulation de données." Phd thesis, Université d'Angers, 2009. http://tel.archives-ouvertes.fr/tel-00477735.

Full text

Abstract:

L'ingénierie du logiciel s'intéresse, entre autres, à trois aspects du développement des systèmes interactifs (SI) : la liaison entre les données sources et leurs présentations cibles ; la conception de la facette interactive ; l'exécution d'un même SI sur différentes plates-formes d'exécution. Les différentes évolutions du web et des données, la diversification des plates-formes d'exécution, ainsi que les techniques d'interactions modernes amènent à revoir la manière de traiter ces trois aspects. L'ingénierie des modèles (IDM) apporte une solution à l'exécution multi-plateforme en échelonnant la conception d'un SI sur différents niveaux d'abstraction. C'est sur ce principe que nos travaux se fondent. Nous avons tout d'abord défini un langage de correspondance, appelé Malan, dédié au lien entre les données sources d'un SI et leurs présentations cibles. Malan a pour avantages de : s'abstraire des plate-forme de données et d'IHM utilisées ; pouvoir réaliser des calculs complexes pour la disposition des éléments d'une présentation ; avoir été développé spécialement pour la liaison données-présentations, contrairement aux langages de transformations classiques. Nous avons ensuite conçu un modèle conceptuel d'interaction, appelé Malai, réunissant les caractéristiques majeures des principaux modèles d'interactions. Malai vise à : faciliter la conception du feed-back intérimaire des instruments ; réutiliser des interactions déjà définies ; considérer une action comme un objet à part entière ; décrire des interactions classiques et modernes ; générer du code pour une plate-forme d'exécution donnée.

APA, Harvard, Vancouver, ISO, and other styles

10

Barloy, Yann. "Conception et développement d'outils dédiés aux systèmes réflexifs : application à la reconnaissance de manoeuvres automobiles." Troyes, 2008. http://www.theses.fr/2008TROY0023.

Full text

Abstract:

Dans le cadre de ma thèse intitulée : « Conception et développement d’outils dédiés aux systèmes réflexifs. Application à la reconnaissance de manœuvres automobiles. » j’ai développé un moteur d’inférences, nommé Reflexive System Inference Engine (RSIE), basé sur une méthode hybride entre les réseaux RETE et la méthode des filtres afin d’allier performance et souplesse d’application. De par sa structure, RSIE permet de créer des systèmes interagissant non seulement avec leur environnement mais également avec leurs propres connaissances permettant à ces derniers de s’auto-modifier en fonction des problèmes à résoudre, on parle alors de systèmes réflexifs. J’ai appliqué ce moteur au projet CASSICE (Caractérisation Symbolique des SItuations de ConduitE) et plus particulièrement au système à base de règles IDRES. Les règles de IDRES ont été transposées dans le formalisme de RSIE et l’ajout d’une métarègle de gestion des connaissances à mettre en œuvre à un instant t ont permis d’améliorer les performances d’IDRES en terme de rapidité d’exécution ainsi qu’en terme d’occupation de ressources informatiques. De par sa nature, RSIE peut s’appliquer à d’autres domaines et cela s’inscrit dans mes perspectives
During my thesis entitled "Design and development of tools dedicated to reflexive systems. Application to car maneuvers recognition. "I developed an inference engine, called Reflexive System Inference Engine (RSIE), based on a hybrid between RETE networks filter method to combine performance and flexibility of application. RSIE structure allows it to create systems which not only interact with their environment but also with their own knowledge allowing them to self-edit according to solve problems, known as reflexive systems. I applied this engine to CASSICE project (Caractérisation Symbolique des SItuations de ConduitE) and more particularly to the rule-based system IDRES. IDRES rules have been translated into RSIE formalism and the adding a of knowledge management metarules to implement a time t have improved IDRES performances in terms of speed of execution and in terms of resources occupation. By its nature, RSIE can be applied to other areas and this is part of my perspectives

APA, Harvard, Vancouver, ISO, and other styles

11

Sadeghi, Mohsen. "Gestion dynamique des règles métiers dans les systèmes d'information dédiés à la conception collaborative." Phd thesis, Grenoble INPG, 2008. http://tel.archives-ouvertes.fr/tel-00587412.

Full text

Abstract:

Ce mémoire contribue à la compréhension des problématiques liées à la cohérence des modèles experts dans un contexte de conception coopérative. Dès lors qu'au moins deux concepteurs coopèrent à un niveau technique de conception, ils partagent de nombreux objets, paramètres, informations ou morceaux de modèles. Cependant ils ne peuvent travailler toujours simultanément et des phases de travail asynchrones sont indispensables. L'objectif de notre travail est de spécifier les mécanismes nécessaires pour mettre en oeuvre des règles métier répondant aux cohérences techniques entre concepteurs. On peut imaginer lors de ces phases asynchrones un serveur espionnant l'évolution des modèles de chaque concepteur. Nous définissons des modèles de règles métiers et des mécanismes qui permettent d'évaluer si deux études parallèles divergent au delà de la simple comparaison syntaxique des modèles. Cette mesure de la divergence est alors est utilisé pour notifier en temps voulu les acteurs de la nécessité de provoquer une session de synchronisation et de négociation. Nous proposons des solutions originales pour assister ces activités de conception coopérative. Elles sont basées sur l'utilisation d'un modèle de partage qui est simultanément versionné par les différents collaborateurs. Ces versions sont analysées par des mécanismes syntaxiques et sur la base de contraintes métiers. Ces mécanismes permettent la mesure des évolutions parallèles des versions de modèles afin de communiquer aux différents concepteurs l'état de cohérence de l'environnement de conception et la nécessité de provoquer des tâches collaboratives. Au delà de cette proposition théorique, nous avons développé un démonstrateur qui valide une part des propositions avancées

APA, Harvard, Vancouver, ISO, and other styles

12

Yoo, Hyun-Jae. "Analyse et conception de scanners laser mobiles dédiés à la cartographie 3D d'environnements urbains." Phd thesis, École Nationale Supérieure des Mines de Paris, 2011. http://pastel.archives-ouvertes.fr/pastel-00579965.

Full text

Abstract:

Cette thèse a été effectuée en collaboration entre le Centre de Robotique CAOR de MINES ParisTech et MENSI-Trimble sous convention CIFRE (Convention Industrielle de Formation par la Recherche), afin de concevoir un nouveau système de scanner laser innovant dédié aux systèmes mobiles de cartographie. Pour cela, nous avons développé une méthode d'analyse qualitative des relevés laser et une démarche de conception par simulation d'un système mobile de cartographie. Nous avons ensuite élaboré plusieurs concepts de scanners laser mobiles. A l'aide du simulateur, nous avons virtuellement réalisé ces concepts et avons fait des acquisitions simulées afin d'analyser les données. Après avoir obtenu les résultats de l'analyse, nous avons choisi un concept, réalisé son prototypage et effectué son évaluation en situation réelle.

APA, Harvard, Vancouver, ISO, and other styles

13

Jouve, Wilfried. "Approche déclarative pour la génération de canevas logiciels dédiés à l'informatique ubiquitaire." Phd thesis, Université Sciences et Technologies - Bordeaux I, 2009. http://tel.archives-ouvertes.fr/tel-00402605.

Full text

Abstract:

Les applications ubiquitaires évoluent dans des environnements plus hétérogènes et plus dynamiques que ceux des systèmes distribués traditionnels. La criticité des domaines applicatifs impliqués et la vocation non intrusive de l'informatique ubiquitaire exigent de garantir la robustesse des applications avant et pendant leur déploiement en situation réelle. Les solutions proposant de gérer la dynamicité des environnements ubiquitaires offrent des canevas de programmation dont la généricité ne permet pas de garantir la fiabilité des applications développées. D'autres solutions permettent davantage de vérifications en assurant, par exemple, l'intégrité des communications. Cependant, ces vérifications, telles que proposées dans ces solutions, empêchent la prise en compte de la dynamicité, indispensable à la mise en oeuvre d'applications ubiquitaires. Dans cette thèse, nous proposons un canevas logiciel visant à concevoir, développer, vérifier et tester les applications ubiquitaires avant leur déploiement en environnements réels. Notre approche repose sur des spécifications haut niveau des applications cibles. Chaque spécification, écrites dans le langage DIASPEC, est analysée, vérifiée et compilée par le compilateur DIASPEC qui génère un canevas logiciel dédié, incluant un canevas de programmation et un canevas de simulation. Les canevas de programmation générés fournissent du support pour la programmation d'applications ubiquitaires. Ils garantissent l'intégrité des communications tout en permettant la gestion de la dynamicité des environnements ubiquitaires. Les canevas de simulation générés fournissent du support pour le test des applications ainsi développées. Les contributions de cette thèse sont les suivantes :
– Nous proposons l'approche DIAGEN qui permet, à partir de spécifications d'architectures logicielles ubiquitaires, de générer du support de programmation et un ensemble de vérifications dédiés au développement d'applications ubiquitaires. Ces spécifications reposent sur un langage déclaratif, appelé DIASPEC, qui permet de décrire les types de services composant les applications ubiquitaires cibles. Le compilateur DIASPEC vérifie la cohérence des spécifications et génère, à partir de celles-ci, des canevas de programmation dédiés. Les canevas de programmation générés garantissent l'intégrité des communications d'applications dynamiques.
– Nous avons développé DIASIM, un simulateur pour tester à l'exécution, le comportement des applications développées avec l'approche DIAGEN. DIASIM permet de tester les applications sans les modifier et d'intégrer incrémentalement des services réels dans les scénarios de simulation.
– Nous avons montré que l'approche DIAGEN permet davantage de vérifications statiques tout en gérant la dynamicité des environnements ubiquitaires et en permettant une plus grande concision des applications développées. Nous avons analysé les canevas de programmation générés pour la gestion de réunion, l'immotique et la téléphonie.

APA, Harvard, Vancouver, ISO, and other styles

14

Benoit, Nicolas. "Etude des compilateurs "back-end" spécifiques pour les processeurs dédiés des systèmes multi-processeurs sur puce." Versailles-St Quentin en Yvelines, 2012. http://www.theses.fr/2012VERS0002.

Full text

Abstract:

Afin d'entretenir la hausse régulière des performances des calculateurs tout en maîtrisant leur consommation énergétique, l'industrie des microprocesseurs développe des architectures permettant de traiter de plus en plus de tâches en parallèle. Ainsi, les futures générations de puces regrouperont jusqu'à plusieurs centaines de cœurs indépendants, parfois fonctionnellement hétérogènes. Pour ne pas exiger comme pré-requis à leur programmation une connaissance détaillée de leur fonctionnement interne, ces futurs processeurs imposent de fait une évolution de la chaîne de compilation. Dans cette thèse, nous proposons avec la présentation d'une extension pour le compilateur GCC plusieurs axes d'évolution de la phase d'adaptation du programme à l'architecture cible. Afin d'analyser et de transformer le programme à compiler, nous décrivons tout d'abord une représentation intermédiaire qui offre une vue hiérarchique du parallélisme exploitable. L'accent est mis ensuite sur la caractérisation des éléments parallèles détectés, et les informations collectées sont réutilisées dans une nouvelle technique d'ordonnancement statique qui peut exploiter plusieurs degrés de parallélisme. Nous abordons aussi l'ordonnancement dynamique et la génération de code pour architectures hétérogènes telles l'IBM Cell BE et les machines dotées d'un accélérateur NVIDIA. Le modèle d'exécution sous-jacent est supporté par un environnement de programmation et un oracle qui permettent d'ajuster le schéma d'exécution à la volée. Nous terminons par une évaluation expérimentale de toutes ces contributions, confirmant ainsi leur pertinence dans une chaîne de compilation pour architectures massivement parallèles
In order to maintain the continuous growth of the performance of computers while keeping their energy consumption under control, the microchip industry develops architectures capable of processing more and more tasks concurrently. Thus, the next generations of microprocessors may count hundreds of independent cores that may differ in their functions and features. As an extensive knowledge of their internals cannot be a prerequisite to their programming, these forthcoming computers necessitate the compilation flow to evolve. In this thesis, through the presentation of an extension of the GCC compiler, we propose several axes of evolution for the part of a compiler which adapts the input program to the target architecture. In order to analyze and transform a program, we describe first an intermediate representation that offers a hierarchical view of the parallelism available. Then, we put the emphasis on the characterization of the detected parallel constructs, and the information gathered are used in new static scheduling technique which can deal with multiple levels of parallelism. We also address dynamic scheduling and code generation for heterogeneous architectures such as the IBM Cell BE and computers featuring a NVIDIA accelerator. The underlying execution model is supported by a programming framework and a performance predictor which can adjust the execution scheme on the fly. We conclude with an experimental evaluation of all our contributions, thus confirming their relevance in a functional compilation flow for massively parallel architectures

APA, Harvard, Vancouver, ISO, and other styles

15

Nasri, Nejah. "Étude, simulation et caractérisation électronique et protocolaire de modules RFID dédiés à une communication en milieu aquatique." Toulouse 2, 2010. http://www.theses.fr/2010TOU20093.

Full text

Abstract:

L’originalité de notre étude concerne la proposition, la simulation et la caractérisation d’une chaîne d’identification utilisant le médium acoustique. De manière globale, le travail attendu consiste à développer une plateforme de communication RFID (Radio Frequency IDentification) dont les couches physiques et protocolaires seront adaptées à une transmission en milieu aquatique. Les domaines d’application sont riches et multi domaines, tant au niveau maritime (détection et suivi de pollution, d’animaux sous-marins) que grand public (surveillance intelligente de piscine)
The originality of our study concerns the proposal, simulation, and characterization of an identification system using the acoustic medium. Overall, the expected work is to develop an RFID (Radio Frequency Identification) communication platform whose physical layer and protocol will be adapted to a transmission in aquatic environments. The application areas are rich and multi domains, both at sea level (detection and monitoring of pollution, underwater animals) and public (intelligent monitoring)

APA, Harvard, Vancouver, ISO, and other styles

16

Zannas, Konstantinos. "Développement de capteurs RFID passifs dédiés au monitoring des groupes alternateurs." Thesis, Université Grenoble Alpes (ComUE), 2019. http://www.theses.fr/2019GREAT119.

Full text

Abstract:

Dans le contexte de l’Internet des Objets et l’Industrie 4.0, de nouvelles technologies sont attendues pour apporter des solutions à plusieurs problèmes industriels. La technologie RFID, et son évolution vers les capteurs, est très prometteuse et pourrait potentiellement trouver des applications en environnement industriel. Le travail développé dans cette thèse s’est réalisé dans le cadre du projet Innov’Hydro, en partenariat avec plusieurs acteurs académiques et industriels. Ce projet visait principalement à explorer de nouvelles solutions de capteurs destinés aux environnements sévères des centrales hydroélectriques, en particulier l’intérieur des génératrices. En effet, les générateurs encombrants des centrales sont susceptibles de tomber en panne en raison de l'oxydation de pièces internes à cause des courants électriques forts. Une solution pour éviter de telles pannes consiste à surveiller la température et/ou la déformation à l'intérieur des générateurs et en particulier les parties vulnérables. Afin de surveiller ces pièces, la taille réduite, la grande précision et le fonctionnement passif sont des facteurs critiques de toute solution de détection. Toutes ces caractéristiques peuvent être satisfaites par la technologie RFID UHF et la transformation récente des tags en tag-capteur RFID. Ainsi l’utilisation de nouvelles configurations et concepts de tag-capteurs, la mesure de la température et du stress dans un environnement réel de centrale hydroélectrique sont explorés en profondeur. Des résultats prometteurs sont obtenus grâce à un ensemble de mesures et de tests à la fois en laboratoire et en environnement réel
In the context of the Internet of Things and the industrial revolution 4.0, new technologies are expected to offer solutions in several industrial related problems. The RFID technology and its evolution to a sensing solution is very promising and could potentially find application in the industrial environment. The work of this thesis was carried out in the context of Innov’Hydro project with the participation of several academic and industrial partners. The main goal of the Innov’Hydro project was to explore new sensing solutions for the harsh industrial environment of hydroelectric power-plants and especially in the interior of the generators. The bulky generators of the power-plants are susceptible to break downs due to the oxidation of high current conducting parts. One solution to avoid such break downs is to monitor the temperature and/or the deformation in the interior of the generators and especially of the vulnerable parts. In order to monitor these parts, the small size, the high accuracy and a potential passive operation of the sensors are critical attributes of the sensing solution. All these attributes can be found in the UHF RFID technology and the recently introduced concept of sensor-tags. Therefore, by utilizing novel RFID sensor-tag designs and RFID configurations, the possibility of temperature and stress sensing in the real environment of the hydroelectric power-plants is explored in depth. A series of measurements and tests are conducted in both laboratory and real industrial environment with promising results

APA, Harvard, Vancouver, ISO, and other styles

17

Chis, Andréea. "Méthodes et outils pour la compilation et l'optimisation logicielle des systèmes embarqués sans fil dédiés à des applications." Phd thesis, Ecole normale supérieure de lyon - ENS LYON, 2012. http://tel.archives-ouvertes.fr/tel-00768830.

Full text

Abstract:

Les réseaux de capteurs communicants sont fortement contraints en ressources: calcul, mémoire et énergie. Dans ce contexte, une attention particulière doit être portée lors de la conception des application, des protocoles de communication et du système d'exploitation qui vont être exécutés sur les plateformes. Le but de cette thèse a été d'adapter les modèles de logiciels utilisés classiquement pour la programmation d'applications au domaine des réseaux de capteurs et de proposer des méthodes et outils permettant de construire une version adaptée du logiciel devant s'exécuter sur les cibles à partir d'un modèle de l'application. Une des composantes qui consomment le plus d'énergie d'un micro-capteur c'est son interface radio. Le comportement d'une couche MAC peut être exprimé comme un automate temporisé avec des états fixes (qui correspondent à des états spécifiques du dispositif physique) ou des états libres (dont le choix de mappage est laissé au programmeur). Le comportement d'un périphérique radio peut lui-même être exprimé comme un automate temporisé composé d'états transitoires (avec durée fixe de l'état) et non transitoires (avec une durée illimitée mais avec une contrainte de temps minimal à passer dans l'état). Le problème de mapper un état software libre de durée fixe sur un chemin dans l'automate du dispositif physique en minimisant l'énergie est prouvé NP-complète. Une heuristique permettant de mapper les états libres d'un automate correspondant à un protocole software sur des états ou chemins entre les états d'un dispositif physique est proposée. L'approche amène à des gains théoriques de 60% pour B-MAC- une couche MAC classique. Pour les 2 catégories de système d'exploitation dédiés à ce type d'applications (modèle à événements et modèle à threads), des squelettes de code sont générés. Adapté a Mantis OS, le squelette de code pour B-MAC confirme en simulation sur la plateforme Worldsens les gains théoriques. Des experimentations sur la plateforme réelle Senslab ont prouvé que l'optimisation en terme d'energie ne modifie pas les performances fonctionnelles du protocole.

APA, Harvard, Vancouver, ISO, and other styles

18

Etxeberria-Otadui, Ion. "Sur les systèmes de l'électronique de puissance dédiés à la distribution électrique – Application à la qualité de l'énergie." Phd thesis, Grenoble INPG, 2003. http://tel.archives-ouvertes.fr/tel-00382761.

Full text

Abstract:

La thèse a trait aux systèmes de l'électronique de puissance dédiés aux applications distribution électrique. Une attention particulière a été portée sur l'amélioration de la qualité de l'énergie. A cet effet, les aspects théoriques et les techniques d'amélioration sont décrits et discutés. Les convertisseurs de l'électronique de puissance à même de répondre à la problématique qualité sont ensuite introduits, modélisés et commandés. Des techniques originales d'identification de perturbations, de gestion des puissances actives et réactives ainsi que des commandes éloignées sont conçues, testées en simulation et analysées. Les applications retenues sont le compensateur série à base d'onduleur de tension et le filtrage actif shunt. Ces résultats sont ensuite confrontés à l'expérimental sur un banc conçu et réalisé à cet effet. L'expérience, si elle a conforté la théorie, a permis également de mettre en exergue les problèmes souvent occultés par la théorie. La conclusion reprend ces constatations et trace les objectifs à court et moyen terme.

APA, Harvard, Vancouver, ISO, and other styles

19

Boisclair, Guy. "Évaluation de la performance de calcul répartis par fragmentation en banques de calcul sur des systèmes non-dédiés." Thèse, Université du Québec à Trois-Rivières, 2005. http://depot-e.uqtr.ca/1438/1/000129911.pdf.

Full text

APA, Harvard, Vancouver, ISO, and other styles

20

Chis, Andreea. "Méthodes et outils pour la compilation et l'optimisation logicielle des systèmes embarqués sans fil dédiés à des applications." Thesis, Lyon, École normale supérieure, 2012. http://www.theses.fr/2012ENSL0708.

Full text

Abstract:

Les réseaux de capteurs communicants sont fortement contraints en ressources : calcul, mémoire et énergie. Dans ce contexte, une attention particulière doit être portée lors de la conception des application, des protocoles de communication et du système d'exploitation qui vont être exécutés sur les plateformes. Le but de cette thèse a été d'adapter les modèles de logiciels utilisés classiquement pour la programmation d'applications au domaine des réseaux de capteurs et de proposer des méthodes et outils permettant de construire une version adaptée du logiciel devant s'exécuter sur les cibles à partir d'un modèle de l'application. Une des composantes qui consomment le plus d'énergie d'un micro-capteur c'est son interface radio. Le comportement d'une couche MAC peut être exprimé comme un automate temporisé avec des états fixes (qui correspondent a des états spécifiques du dispositif physique) ou des états libres (dont le choix de mappage est laissé au choix du programmeur). Le comportement d'un périphérique radio peut lui-même être exprimé comme un automate temporisé composé d' états transitoires (avec durée fixe de l'état) et non transitoires (avec une durée illimitée mais avec une contrainte de temps minimal à passer dans l'état). Le problème de mapper un état software libre de durée fixe sur un chemin dans l'automate du dispositif physique en minimisant l'énergie est prouvé NP-complète. Une heuristique permettant de mapper les états libres d'un automate correspondant à un protocole software sur des états ou chemins entre les états d'un dispositif physique est proposée. L'approche amène à des gains théoriques de 60% pour B-MAC- une couche MAC classique. Pour les 2 catégories de système d'exploitation dédiés à ce type d'applications (modèle à événements et modèle à threads), des squelettes de code sont générés. Adapté a Mantis OS, le squelette de code pour B-MAC confirme en simulation sur la plateforme Worldsens les gains théoriques. Des simulations sur la plateforme réelle Senslab ont prouvé que l'optimisation en terme d'energie ne modifie pas les performances fonctionnelles du protocole
Wireless Sensor Networks are are highly constrained in resources: computation, memory and energy. In this context, particular attention must be paid when designing applications, communication protocols and operating systems that will run on the sensor nodes. The purpose of this thesis was to adapt the software models conventionally used for programming applications to the field of sensor networks and to propose methods and tools to build a customized version of the software to run on the sensor nodes from a model of the application.One of the components of a micro-sensor that consumes the most energy is its radio interface. The behavior of a MAC layer protocol can be expressed as a timed automaton with fixed states (which correspond to specific states of the physical device) or free states ( the choice for their mapping is left to the programmer). The behavior of a radio device itself can be expressed as an automaton consisting of transitional (with fixed duration) and non-transitional states (with unlimited duration but with a minimum time duration constraint). The problem of mapping a free state of the software of fixed duration on a path of the physical device by minimizing the energy consumed is proven to be NP-complete. A heuristic to map the free states of an automaton corresponding to a software protocol to states or paths between the states of a physical device is proposed. The approach leads to theoretical gains of 60% for the mapping of B-MAC, a MAC layer protocol. For two categories of operating systems dedicated to Wireless Sensor Networks (event model and multi-threaded), code skeletons are generated. The simulations under the Worldsens platform of the multi-threaded code skeleton generated for B-MAC and adapted to Mantis OS confirmed the theoretical gains. Experiments on the real platform SensLab have shown that the optimization in terms of energy does not change the functional performance of the protocol

APA, Harvard, Vancouver, ISO, and other styles

21

Makni, Fatma. "Développement d'un outil de simulation 2D - 3D pour l'amélioration de la conception des absorbeurs dédiés aux systèmes de climatisation." Paris 6, 2012. http://www.theses.fr/2012PA066424.

Full text

Abstract:

Dans le contexte actuel incitant aux économies d’énergie et à la limitation de l’impact environnemental des systèmes énergétiques, les machines à sorption constituent une alternative intéressante aux machines classiques de production de froid et de climatisation. Cependant, leur développement reste limité du fait d’un manque de compétitivité. Ce manque est dû à des coûts d’investissement élevés et des puissances spécifiques faibles comparées aux systèmes à compression mécanique : quelques dizaines de W/kg contre quelques centaines de W/kg. Ce travail se focalise sur l’amélioration de la conception des adsorbeurs. Pour ce faire, un modèle numérique 3D a été développé afin de rendre compte des configurations géométriques des adsorbeurs réels. A partir du calcul du COP et de la puissance frigorifique spécifique, l’influence de différents paramètres a été étudiée. Ces paramètres regroupent à la fois des aspects géométriques (type d’échangeur servant de base à la construction de l’adsorbeur : tube aileté, batterie à ailettes, densité d’ailettes, facteur de forme), des choix de couple d’adsorption et des conditions opératoires (température de sources). Différentes tendances, partiellement généralisables ont pu être dégagées
In today context, environmental impact and energy consumption mitigation, sorption systems appear to be an interesting alternative to vapour compression systems for cold production and air conditioning. However, their development remains difficult because of low competitiveness. This is mainly due to high investment cost and low specific cooling power, when compared to vapour compression systems: few dozens of kW per kg compared to few hundreds of kW/kg. This work focuses on adsorber conception improvement. For this purpose, a 3D numerical model was developed in order to get close to real adsorber geometrical configurations. From COP and specific cooling power estimation, we have studied the influence of various parameters. Theses parameters concern the geometry (type of heat exchanger used for the adsorber, fin density, etc. ), adsorption couple, and operating conditions (heat source temperature). Various trends, which can be partially generalized, have been identified

APA, Harvard, Vancouver, ISO, and other styles

22

Miaoulis, Georges. "Contribution à l'étude des systèmes d'information multimédia et intelligent dédiés à la conception déclarative assitée par l'ordinateur : Le projet MultiCAD." Limoges, 2002. http://www.theses.fr/2002LIMO0060.

Full text

Abstract:

Notre étude porte sur les systèmes de conception d'entités physiques complexes (susceptibles d'être décomposées) et vise à étudier l'architecture d'un système d'information intelligent et multimédia pour la conception assistée par ordinateur. La méthodologie de conception adoptée est celle de la modélisation déclarative de scènes (en tant que représentations mentales des entités physiques) et en particulier la modélisation déclarative par décomposition hiérarchique qui répond à la complexité structurelle de ces entités. Le champ d'application de ces systèmes de conception est vaste, il couvre des domaines comme l'architecture , l'urbanisme, les arts décoratifs, la composition d'images, l'ingénierie (mécanique, génie civil), etc. La méthodologie de cette étude repose sur la modélisation des composants de ce système (modèles utilisateurs, modèles de processus et de mécanismes cognitifs ou de cycles de vie de conception, modèles des informations et des connaissances) pour proposer un cadre d'architecture logicielle qui comporte les spécifications et la structure de ces composants, et des bases de données et de connaissances. Ce cadre nommé "MultiCAD" est testé par le développement d'une série de logiciels prototypes. Les résultats de cette recherche, ainsi que les futurs travaux envisagés sont discutés au dernier chapitre de cette thèse
This study is concerned with design systems of decomposable complex physical entities aiming to studying the architecure of an intelligent multimedia information system for computer-aided design

APA, Harvard, Vancouver, ISO, and other styles

23

Benzaim, Oussama. "Techniques multi-port pour la conception et la réalisation de systèmes micro-ondes dédiés à l'évaluation non destructive de matériaux." Thesis, Lille 1, 2009. http://www.theses.fr/2009LIL10031/document.

Full text

Abstract:

Le Contrôle Non Destructif (CND) hyperfréquence consiste à examiner un matériau de telle manière qu’à l’issue de ce contrôle, son utilisation future n’en soit pas affectée. Ce type de caractérisation est généralement réalisé au travers de la mesure des propriétés de réflexion ou/et de transmission du matériau sous test par un analyseur de réseaux vectoriel conventionnel. Cependant, ce type d’appareillage s’avère surdimensionné en termes d’éventail de mesure et donc de coût pour un usage hors laboratoire. Aussi, nous avons développé, dans une optique de faible coût, des systèmes basés sur la technique six-port. En particulier, dans ce travail, un double réflectomètre quatre-port est développé pour la mesure des paramètres de réflexion et de transmission d’un quadripôle passif dans la bande de 55 - 65 GHz. La proposition d’une instrumentation plus complète, intégrant les ressources matérielles et logicielles, permet d’entrevoir des développements de systèmes spécialisés dans le domaine de la caractérisation hyperfréquence. Ainsi, nous avons adjoint des solutions logicielles, basée sur les réseaux de neurones artificiels, pour le traitement des grandeurs mesurées, afin de satisfaire aux besoins d’une Évaluation Non Destructive plus quantitative. Enfin, dans le but d’effectuer des caractérisations de défauts dont les dimensions sont inférieures à la longueur d’onde, un microscope micro-ondes constitué du système millimétrique associé à une sonde à ondes évanescentes a été proposé. Cet ensemble permet de relever les variations en module et en phase du coefficient de réflexion du matériau sous test, de manière sans contact
Non Destructive microwave Testing (NDT) consists in examining a material so that after testing, its future use is not affected. Such characterization is usually achieved through the measurement of reflection and/or transmission properties of the material under test by a vector network analyzer. However, this type of equipment is oversized in terms of measurements abilities and cost for a use outside the laboratory. In order to overcome this limitation, we have developed, with a view to low cost, systems based on the six-port technique. In particular, a dual four-port reflectometer is developed for the measurement of reflection and transmission parameters of passive devices in the frequency range of 55 - 65 GHz. In addition, we have proposed complete solution which integrates hardware and software resources allowing the development of specialized systems in the field of microwave characterization. The added software solutions, based on artificial neural networks contribute to satisfy the needs of a non-destructive, quantitative evaluation. Finally, in order to perform characterization of defects whose dimensions are smaller than the wavelength, a mm-wave microscope formed by the mm-wave system and associated with an evanescent wave probe has been proposed. This ensemble reveals changes in magnitude and phase reflection coefficients of the material under test, allowing non-contact measurements. ___________________________________________________________________________

APA, Harvard, Vancouver, ISO, and other styles

24

Ben, Khedher Anis. "Amélioration de la qualité des données produits échangées entre l'ingénierie et la production à travers l'intégration de systèmes d'information dédiés." Thesis, Lyon 2, 2012. http://www.theses.fr/2012LYO20012.

Full text

Abstract:

Le travail présenté dans ce mémoire de thèse apporte sa contribution à l'amélioration de la qualité des données échangées entre la production et les services d'ingénierie dédiés à la conception du produit et du système de production associé. Cette amélioration de la qualité des données passe par l'étude des interactions entre la gestion du cycle de vie du produit et la gestion de la production.Ces deux concepts étant supportés, tout ou partie, par des systèmes d'information industriels, l'étude de leurs interactions a ensuite conduit à l'intégration de ces systèmes d'information (PLM, ERP et MES). Dans un contexte de forte concurrence et de mondialisation, les entreprises sont obligées d'innover et de minimiser les coûts, notamment ceux de production. Face à ces enjeux, le volume des données de production et leur fréquence de modification ne cessent d'augmenter en raison de la réduction constante de la durée de vie et de mise sur le marché des produits, de la personnalisation accrue des produits et en n de la généralisation des démarches d'amélioration continue en production. La conséquence directe est alors la nécessité de formaliser et de gérer l'ensemble des données de production devant être fournies aux opérateurs de production et aux machines. Suite à une analyse du point de vue de la qualité des données pour chaque architecture existante démontrant ainsi leur incapacité à répondre à cette problématique, une architecture basée sur l'intégration des trois systèmes d'information directement impliqués dans la production (PLM, ERP et MES) a été proposée. Cette architecture nous a menés à deux sous-problématiques complémentaires qui sont respectivement la construction d'une architecture basée sur des Web Services permettant d'améliorer l'accessibilité, la sécurité et la complétude des données échangées, et la construction d'une architecture d'intégration, basée sur les ontologies, permettant d'offrir des mécanismes d'intégration basés sur la sémantique dans le but d'assurer la bonne interprétation des données échangées.Enfin, la maquette de l'outil logiciel supportant la solution proposée et permettant d'assurer l'intégration des données échangées entre ingénierie et production a été réalisée
The research work contributes to improve the quality of data exchanged between the production and the engineering units which dedicated to product design and production system design. This improvement is qualified by studying the interactions between the product life cycle management and the production management. These two concepts are supported, wholly or partly by industrial information systems, the study of the interactions then lead to the integration of information systems (PLM, ERP and MES).In a highly competitive environment and globalization, companies are forced to innovate and reduce costs, especially the production costs. Facing with these challenges, the volume and frequency change of production data are increasing due to the steady reduction of the lifetime and the products marketing, the increasing of product customization and the generalization of continuous improvement in production. Consequently, the need to formalize and manage all production data is required. These data should be provided to the production operators and machines.After analysis the data quality for each existing architecture demonstrating the inability to address this problem, an architecture, based on the integration of three information systems involved in the production (PLM, ERP and MES) has been proposed. This architecture leads to two complementary sub-problems. The first one is the development of an architecture based on Web services to improve the accessibility, safety and completeness of data exchanged. The second is the integration architecture of integration based on ontologies to offer the integration mechanisms based on the semantics in order to ensure the correct interpretation of the data exchanged. Therefore, the model of the software tool supports the proposed solution and ensures that integration of data exchanged between engineering and production was carried out

APA, Harvard, Vancouver, ISO, and other styles

25

Abou, Dib Ali. "Une approche formelle de l'interopérabilité pour une famille de langages dédiés." Phd thesis, Université Paul Sabatier - Toulouse III, 2009. http://tel.archives-ouvertes.fr/tel-00466580.

Full text

Abstract:

Dans cette thèse, nous proposons une méthode rigoureuse, formellement fondée pour traiter de l'interopérabilité d'une famille de langages dédiés (DSL) issus d'un même domaine métier. A partir de la sémantique de chacun des DSL, notre démarche construit, par un calcul de co-limite sur des spécifications algébriques, un langage qui unifie les concepts de la famille. L'approche se caractérise notamment par la capacité à traduire automatiquement le code d'un DSL vers le langage unificateur. Un autre bénéfice réside dans la preuve qu'une propriété sur un langage de la famille se décline, par construction, vers l'environnement unifié. La mise en œuvre de la démarche a été outillée ; elle s'appuie principalement sur le logiciel Specware de Kestrel et l'assistant de preuve Isabelle.

APA, Harvard, Vancouver, ISO, and other styles

26

Lopez, de Heredia Bermeo Amaia. "Commande avancées des systèmes dédiés à l'amélioration de la qualité de l'énergie : de la basse tension à la montée en tension." Grenoble INPG, 2006. http://www.theses.fr/2006INPG0150.

Full text

Abstract:

Cette thèse s'inscrit dans les études menées sur la commande des dispositifs de l'électronique de puissance dédiés à la qualité de l'énergie. Différentes structures de contrôle numériques avancées (les correcteurs à base d'intégrateurs, le correcteur prédictif Dead-Beat et lé Contrôle Direct de Puissance avec modulation vectorielle) ont été analysées et comparées, sur les plans tant théoriques que pratiques, et ce sur des applications multi-fréquentielles, plus concrètement sur l'application au filtrage actif parallèle. Une première étude a été réalisée en basse tension et ensuite, vu l'évolution de l'électronique de puissance vers des applications plus puissantes, une étude en montant en tension a été menée afin d'identifier les limitations qui apparaissent. Même si les limitations les plus importantes se trouvent dans la partie de puissance des convertisseurs, on montre que des commandes plus performantes peuvent repousser les limites naturelles aux convertisseurs
The present PhD deals with the control of power eIectronic devices for power quality systems. Different advanced digital control structures (integrator based controllers, Dead-Beat control, Space Veètor Modulation - Direct Power Control) have been analysed and compared, in theory and in practice, for muIti-frequency applications such as shunt power active filtering. Ln the first part a study in low voltage has been carried out. Afterwards, in view of the evolution of power electronics towards higher power applications, the anaIysis has been focused on the consequences and restrictions that find power electronic converters in a medium voltage application context. The most important restrictions are related to semiconductors limitations (in terms of current, voltage and especially switching frequency). Ln addition, very powerful control structures are necessary in order to overcome as much as possible these limitations and make the best of these converters

APA, Harvard, Vancouver, ISO, and other styles

27

Mercadal, Julien. "Approche langage au développement logiciel : application au domaine des systèmes d’informatique ubiquitaire." Thesis, Bordeaux 1, 2011. http://www.theses.fr/2011BOR14315/document.

Full text

Abstract:

Face à l'augmentation de la taille et de la complexité des systèmeslogiciels, il convient de les décrire à un plus haut niveaud'abstraction (i.e., au-delà du code) avant de concrètement lesimplémenter. Toutefois, l'utilisation de ces descriptions de hautniveau dans les processus de construction et de vérification dessystèmes reste très rudimentaire, ne permettant pas de véritablementguider et faciliter le développement logiciel. Cette thèse propose une nouvelle approche pour rendre plus simple etplus sûr le développement de systèmes logiciels. Cette approche reposesur l'utilisation de langages dédiés et sur un couplage fort entre unecouche de spécification et d'architecture et une couched'implémentation. Elle consiste tout d'abord à décrire à un hautniveau d'abstraction différents aspects, à la fois fonctionnels et nonfonctionnels, d'un système dans la couche de spécification etd'architecture. Ces descriptions sont ensuite analysées et utiliséespour personnaliser la couche d'implémentation, afin de faciliter laconstruction et la vérification du système logiciel. Nous illustrons notre approche dans le domaine de l'informatiqueubiquitaire. À la suite d'une analyse complète du domaine, nous avonsconçu deux langages dédiés à l'orchestration d'objets communicants,Pantaxou et Pantagruel
The sheer size and complexity of today's software systems posechallenges for both their programming and verification, making itcritical to raise the level of abstraction of software developmentbeyond the code. However, the use of high-level descriptions in thedevelopment process still remains rudimentary, improving and guidingthis process marginally.This thesis proposes a new approach to making software developmentsimpler and safer. This approach is based on the use ofdomain-specific languages and a tight coupling between a specificationand architecture layer, and an implementation layer. It consists ofdescribing functional and non-functional aspects of a software systemat a high level of abstraction, using the specification andarchitecture layer. These high-level descriptions are then analyzedand used to customize the implementation layer, greatly facilitatingthe programming and verification of the software system.We have validated our approach in the domain of pervasive computingsystems development. From a complete domain analysis, we haveintroduced two domain-specific languages, Pantaxou and Pantagruel,dedicated to the orchestration of networked smart devices

APA, Harvard, Vancouver, ISO, and other styles

28

Saba, Rita. "Caractérisation et conception de tags RFID-UHF dédiés aux produits textiles." Thesis, Aix-Marseille, 2013. http://www.theses.fr/2013AIXM4783.

Full text

Abstract:

Cette thèse s’inscrit dans le cadre d’une collaboration entre l’IM2NP et la société Tagsys, dans le cadre du projet PACID-TEXTILE. L'objectif de la thèse est de créer un tag RFID UHF packagé, très robuste et qui puisse facilement s’intégrer de manière discrète dans les produits textiles. L’idée est de concevoir deux antennes couplées et adaptées aux puces choisies pour l’application. Ces deux antennes sont conçues afin de favoriser le couplage entre elles. La première entité est packagée afin de protéger la puce de l’environnement d’utilisation. Dans une première partie, l’antenne primaire est caractérisée. Le packaging fait l’objet d’études particulières pour répondre aux contraintes de robustesses liées aux domaines du textile (blanchisserie, produit chimique). Une seconde partie du travail vise à caractériser le fil conducteur de manière à en établir une modélisation la plus fidèle possible pour pouvoir être utilisé par les outils de simulation et de conception d’antennes. Des essais de résistances du fil sont également réalisés.Enfin, une troisième partie traite de la conception d'antennes. Les tags conçus doivent avoir une portée minimale de 4m, résister à la déformation et à l'empilement. Ces tags sont soumis à différents tests pour établir leurs performances. A l’aide des moyens de caractérisations disponible au laboratoire IM2NP (plate forme de pré certification RFID), un « Benchmarking » est réalisé sur les différents tags en vue de proposer une étiquette répondant au mieux aux exigences du cahier des charges
This thesis is part of a collaboration between the company Tagsys and IM2NP, under the PACID-TEXTILE project. The aim of the thesis is to create a robust UHF RFID tag antenna that can be easily and discreetly integrated into textile products.The idea is to design two antennas electromagnetically coupled and adapted for selected chips. Both antennas are designed to facilitate the coupling between them. The first antenna is packaged in a robust material in order to protect the chip from laundry cycles. The second antenna is made up by electro-thread. The first part of the work is to characterize the packaged antenna and packaging material. The second part is to measure the conductivity of the used thread, to establish the most accurate model possible. Tests of wire resistance are also made. Toughness of each wire is also tested.The third part deals with the antenna design. The tags are designed to have a minimum range of 4m. They have to resist deformation and stacking. These tags are subjected to various tests to determine their performance. Using resources available in the laboratory IM2NP (RFID platform), a "Benchmarking " is carried on different tags to find the best that meet the requirements of the specifications

APA, Harvard, Vancouver, ISO, and other styles

29

Bellache, Kosseila. "Caractérisation Multi-physique des éléments de stockage électrochimique et électrostatique dédiés aux systèmes Multi sources : Approche systémique pour la gestion dynamique d'énergie électrique." Thesis, Normandie, 2018. http://www.theses.fr/2018NORMLH21.

Full text

Abstract:

Ce travail de thèse s’inscrit dans la continuité des activités de recherche du laboratoire GREAH sur les problématiques de la gestion d’énergie électrique et de l’amélioration de la qualité énergétique des systèmes de production aux énergies renouvelables. En effet, le couplage de plusieurs sources de natures différentes entraîne des problématiques de dimensionnement, de qualité d’énergie et de la durée de vie des éléments interconnectés. La démarche scientifique repose sur la caractérisation de l'évolution des résistances et des capacités des cellules de batteries LFP/supercondensateurs en fonction des contraintes électriques et thermiques, suivi de la modélisation du vieillissement accéléré des cellules. Nous proposons dans ce mémoire de thèse des améliorations de la réponse dynamique d’un bateau fluvial à propulsion électrique par l’hybridation des batteries LFP et des supercondensateurs. Nous proposons également une approche électrothermique pour la caractérisation et la modélisation multi-physique du vieillissement des batteries et supercondensateurs en utilisant des contraintes combinées de la température et de la fréquence des ondulations du courant de charge/décharge des cellules. Les données expérimentales collectées ont permis d'établir des modèles des supercondensateurs et des batteries dédiés aux systèmes multi-sources incluant des sources d’énergie renouvelable (éoliens et hydroliens). Les modèles développés se révèlent très précis par rapport aux résultats expérimentaux. Ils permettent une bonne description du phénomène de vieillissement des batteries LFP/supercondensateurs dû aux opérations de charge/décharge avec un courant continu fluctuant combiné à une température variable
This thesis work is a continuation of the research activities of the GREAH laboratory on the issues of the management of electrical energy and improving the energy quality of production systems for renewable energy. Indeed, the coupling of several different nature sources entails the problems of dimension, quality of energy and the lifetime of the interconnected elements. The scientific approach is based on the characterization of the evolution of the resistances and capacitances of the batteries/supercapacitors cells according to the electrical and thermal constraints, followed by the modeling of accelerated cells aging. In this thesis, we propose improvements to the dynamic response of an electric propulsion fluvial boat by using the hybrid system of lithium-batteries and supercapacitors. We also propose an electrothermal approach for the multi-physical characterization and modeling of the batteries and supercapacitors aging, using combined constraints of the temperature and frequency of the DC current ripples. The experimental data has been collected to establish models of batteries and supercapacitors dedicated to multi-source systems including renewable energy sources (wind and tidal turbines). The results of the developed models shown high accuracy compared with experimental results. These models illustrated a good description of the aging phenomenon of batteries/ supercapacitors due to charging/discharging operations with a fluctuating continuous current combined with a variable temperature

APA, Harvard, Vancouver, ISO, and other styles

30

Jaber, Alain. "Un système d'agents logiciels intelligents pour favoriser la coopération entre des systèmes d'aide à la décision dédiés à la prévention des risques naturels." ENSMP, 1999. http://www.theses.fr/1999ENMP0901.

Full text

Abstract:

L'objectif de cette recherche est de permettre la communication et l’échange entre des systèmes d'aide à la décision (sad), dédiés à la gestion des risques, conçus et développés dans des contextes différents. Notre but est de rendre ces sad coopératifs afin de résoudre des problèmes complexes qui nécessitent l'interaction entre plusieurs sad. La solution que nous proposons est la mise en place d'un environnement coopératif pour l’interopérabilité de ces sad. Pour atteindre cet objectif, nous proposons de développer des composants spécialisés dans la coopération, appelés agent logiciels intelligents (ali). Les ali sont des entités autonomes ayant la capacité de collaborer entre eux pour résoudre conjointement divers problèmes et d'assister les sad existants dans l'accomplissement de leurs tâches. Un ali offre un ensemble de services qui peuvent être invoqués par les autres ali ou par l'utilisateur. Si un ali ne peut pas supporter seul un service, il peut faire appel à un ensemble de services complémentaires fournis par d'autres ali. Cette résolution coopérative nous a amené à étudier les mécanismes à mettre en œuvre pour permettre la coopération entre les sad. Nous avons ainsi défini l’activité de résolution coopérative des problèmes, les rôles des ali pour la résolution coopérative des problèmes, les actes de communication, les niveaux de décision qui sont pris par l'ali pour la résolution d'un problème donné. Le modèle d'ali a été testé et en partie validé dans le cadre d'applications réelles sur le terrain dans le domaine de la prévention et de la lutte contre les incendies de forêts.

APA, Harvard, Vancouver, ISO, and other styles

31

Viero, Yannick. "Développement de systèmes fluidiques dédiés à la manipulation d'ADN dans des réseaux de nanoplots : étude à l'échelle de la molécule unique et application à la séparation." Phd thesis, INSA de Toulouse, 2011. http://tel.archives-ouvertes.fr/tel-00660356.

Full text

Abstract:

Dans la majeure partie des cas, la séparation en taille de molécules d'ADN, étape primordiale lors d'un séquençage, est réalisée par électrophorèse sur gels, inadaptée à la séparation de longues molécules : la recherche de techniques de séparation alternatives est donc primordiale. Nous avons utilisé une technologie de fabrication alternative, la Lithographie par Décalage de Phase, pour fabriquer des matrices d'obstacles de 80 à 500 nm de diamètre, de formes cylindrique ou ellipsoïdale. Ces matrices nous ont permis de mener une étude des dynamiques de collision ADN-obstacle à l'échelle de la molécule individuelle, par la caractérisation des effets de l'actionnement (électrophorétique ou hydrodynamique), de la dimension et de la forme des obstacles sur ces dynamiques, impliquées dans le processus de séparation en taille. Nous montrons enfin la première séparation hydrodynamique de fragments d'ADN dans des réseaux d'obstacles nanométriques.

APA, Harvard, Vancouver, ISO, and other styles

32

Aoues, Saïd. "Schémas d'intégration dédiés à l'étude, l'analyse et la synthèse dans le formalisme Hamiltonien à ports." Thesis, Lyon, INSA, 2014. http://www.theses.fr/2014ISAL0121/document.

Full text

Abstract:

Ces travaux de thèse traitent de l'approximation en dimension finie de système de dimension infinie. La classe considérée est celle des systèmes hamiltoniens à ports. Nous étudions dans un premier temps les systèmes d'équations différentielles ordinaires. Sur la base d'un intégrateur énergétique, nous définissons une classe de dynamiques passives discrètes qui est invariante par interconnexion. Nous obtenons alors des conditions de stabilité (LMI) pour des dynamiques en réseau en présence de retards et d'incertitudes, et proposons une méthode de synthèse énergétique stabilisante. Ces développements ont été validés expérimentalement par la mise en oeuvre d'une commande énergétique sur un convertisseur de puissance (Buck). Nous étudions ensuite le formalisme hamiltonien en dimension infinie. Nous proposons une approximation qui combine une semi-discrétisation et un intégrateur énergétique. La composabilité mixte est étudiée et une méthode de synthèse IDA-PBC a été développée. L'ensemble des résultats obtenus sont illustrés numériquement dans le manuscrit
This thesis work dealing with finite dimensional approximation of infinite dimension system. The class considered is that of Hamiltonian systems in ports. We study initially ordinary differential equations systems. Based on an energy integrator, we define a class of discrete passive dynamics is invariant interconnection. We obtain the stability conditions (LMI) for dynamic network in the presence of delays and uncertainties, and propose a method of stabilizing energy synthesis. These developments were experimentally validated by the implementation of an energy control a power converter (Buck). We then study the Hamiltonian formalism in infinite dimensions. We offer an approximation that combines a semi-discretization and an energy integrator. The mixed composability is studied and a method of synthesis IDA-PBC was developed. All the obtained results are numerically illustrated in the manuscript

APA, Harvard, Vancouver, ISO, and other styles

33

Saliva, Marine. "Circuits dédiés à l'étude des mécanismes de vieillissement dans les technologies CMOS avancées : conception et mesures." Thesis, Aix-Marseille, 2015. http://www.theses.fr/2015AIXM4337.

Full text

Abstract:

Dans la chaine de développement des circuits, une attention particulière doit être portée sur le comportement en fiabilité des dispositifs MOS comme briques de base des circuits avancés CMOS lors du développement d’une technologie. Au niveau du dispositif, les comportements des différents mécanismes de dégradation sont caractérisés. A l’opposé dans le prototype final, le produit est caractérisé dans des conditions accélérées de vieillissement, mais seuls des paramètres macroscopiques peuvent être extraits. Un des objectifs de cette thèse a été de faire le lien entre le comportement en fiabilité d’un circuit ou système et ses briques élémentaires. Le second point important a consisté à développer des solutions de tests dites ‘intelligentes’ afin d’améliorer la testabilité et le gain de place des structures, pour mettre en évidence le suivi du vieillissement des circuits et la compensation des dégradations. Une autre famille de solutions a consisté à reproduire directement dans la structure l’excitation ou la configuration réelle vue par les dispositifs ou circuits élémentaires lors de leur vie d’utilisation (lab in situ)
In the circuit development, specific attention must be paid to the MOS device reliability as a building block as well as a prototype reference circuit (CMOS) during the technology development. At device level, the different degradation mechanisms are characterized. In the final prototype, the product is characterized in accelerated aging conditions, but only the macroscopic parameters can be extracted. One objective of this thesis has been to link the circuit or system reliability and its building blocks. Also, the second important point has consisted in the development of 'smart' test solutions to improve testability and gain up structures so as to highlight the circuits aging monitoring and degradation compensation. Another family of ‘smart’ solutions has involved reproducing directly in the structure the excitement or the actual configuration as it is seen by elementary circuits or devices during their usage life (lab in situ)

APA, Harvard, Vancouver, ISO, and other styles

34

Khalifeh, Rania. "Développement de résonateurs hyperfréquences pour la réalisation de capteurs sans puce dédiés à la maintenance prédictive des infrastructures." Thesis, Brest, 2016. http://www.theses.fr/2016BRES0071/document.

Full text

Abstract:

La corrosion et la dégradation des matériaux sont des problèmes majeurs qui impactent économiquement de nombreux domaines d’activités. Cette dégradation dépend de nombreux paramètres environnementaux. Dans ce cadre, le suivi de la dégradation des matériaux est primordial. L’objectif de cette thèse est donc d’élaborer des capteurs de dégradation de matériaux, sans fils et passifs énergétiquement. Pour cela, notre travail sera basé sur la technologie RFID (Radio Frequency Identification) passive. Nous présentons alors, des résonateurs sensibles à la dégradation et à la corrosion des matériaux. Celles-ci étant souvent liées à la présence d’eau dans le milieu environnant, une partie de la thèse concerne le suivi de l’absorption dans les revêtements organiques et les bétons. Afin de corréler la présence d’eau avec une dégradation du métal présent dans le diélectrique, un résonateur sensible au potentiel de corrosion est ensuite proposé. Pour finir, une étude sur la détection des sels dissouts dans le milieu est réalisée par ce type de technique. Suite à la présentation de ces résultats, une partie plus courte consacrée à la réalisation d’un démonstrateur sur la bande ISM autorisée à 2.45 GHz est présentée. Elle permet une discussion sur l’utilisation de ce type de capteur dans des situations réelles
Corrosion and material degradation are major problems that economically impact many areas of activity. This degradation depends on many environmental parameters. In this context, monitoring the degradation of materials is crucial. The objective of this thesis is to develop materials degradation sensors that are chipless and wireless. For that purpose, this work will be based on passive RFID (Radio Frequency Identification). We present different resonators sensitive to the degradation and corrosion of materials. These are often linked to the presence of water in the environment; part of the thesis concerns the monitoring of the absorption in organic coatings and concrete. In order to correlate the presence of water with a degradation of the metal present in the dielectric, a resonator sensitive to the corrosion potential is then proposed. Finally, a study on the detection of dissolved salts in the medium is performed by this type of technique. Following these results, a shorter part of the realization of a demonstrator in the authorized ISM band at 2.45 GHz is presented. It provides a discussion about the use of this type of sensor in real situations

APA, Harvard, Vancouver, ISO, and other styles

35

Zhang, Bo. "Sur la commande à retour d'effort à travers des réseaux non dédiés : stabilisation et performance sous retards asymétriques et variables." Phd thesis, Ecole Centrale de Lille, 2012. http://tel.archives-ouvertes.fr/tel-00733141.

Full text

Abstract:

Ce travail propose de nouvelles structures de contrôle pour la téléopération bilatérale à travers des réseaux de communication non dédiés. L'enjeu est donc de concevoir et calculer des structures de commande garantissant la stabilisation et un bon degré de performance en termes de synchronisation (suivi des positions et vitesse) et de transparence (ressenti des forces) sous les retards variables et asymétriques.Nous faisons tout d'abord un tour d'horizon des recherches récentes dans le domaine des systèmes de téléopération et de leurs caractéristiques. Puis, nous considérons des modèles linéaires à plusieurs retards variables pour lesquels nous proposons une approche d'analyse de stabilité par fonctionnelles de Lyapunov-Krasovskii et contrôle robuste H [infinity symbol . Ensuite, trois structures de téléopération seront proposées en temps continu, la comparaison de ces architectures montre que, pour un retard de réseau maximum donné ou calculé, toutes garantissent un suivi de position et vitesse. Les deux dernières, qui utilisent les forces mesurées ou estimées de l'opérateur humain et de l'environnement, garantissent de plus un suivi en force. Au final, la troisième structure (avec proxy) présente la meilleure performance, même si elle demande un peu plus de calcul. Puis, afin d'analyser et d'améliorer les performances de la troisième structure pour des modèles encore plus réalistes, une étude est menée en temps discret, mais aussi sur un modèle non linéaire ou non stationnaire sous perturbations bornées en norme. L'implantation sur la plate-forme est décrite dans un quatrième et dernier chapitre, et puis l'analyse des résultats expérimentaux est alors menée

APA, Harvard, Vancouver, ISO, and other styles

36

Tran, Thanh phong. "Stratégies de commande pour déplacer une meute de capteurs dédiés à l'identification de sources chauffantes mobiles." Thesis, Angers, 2017. http://www.theses.fr/2017ANGE0015/document.

Full text

Abstract:

De nombreux systèmes physiques complexes sont modélisés à l’aide de systèmes d’équations aux dérivées partielles comprenant éventuellement des couplages et des non linéarités. Dans ce cadre, les problématiques de commande qui cherchent à définir quels sont les moyens d’actions (éventuellement en dimension infinie) permettant d’atteindre un état désiré ne sont pas triviales.Il en est de même pour l’identification en ligne de caractéristiques du système physique à partir d’informations fournies par des observations pertinentes. Cet aspect est souvent considéré comme un problème inverse dont la résolution pose de nombreuses questions spécifiques et ardues.Afin d’illustrer la problématique du déplacement judicieux d’un ensemble de capteurs mobiles pour reconstruire un terme source dans une équation aux dérivées partielles paraboliques, un dispositif est décrit dans cette étude. Il décrit des phénomènes de convection et diffusion éventuellement non linéaires.Le travail décrit dans ce document est destiné à développer une méthodologie complète en vue de réaliser une conception optimale d'expériences dans le cadre de problèmes mal posés non linéaires associés à l'évaluation de paramètres inconnus dans des systèmes décrits par des équations aux dérivées partielles. Le prototype expérimental a pour objet de tester les performances des stratégies de déploiement optimal d'un ensemble de capteurs mobile afin d’identifier des paramètres de plusieurs sources chauffantes en mouvement
Many complex physical systems are modeled using systems of partial differential equations including possibly coupling and non-linearity. In this context, the determination of control strategies (in infinite dimension) in order to achieve a desired state is not trivial. It is obvious that quasi on-line identification of characteristics of the physical system from information provided by relevant sensors is quite complex. This optimization problem is often formulated as an inverse problem, whose resolution raises many specific questions. To illustrate the problem of the moving of a set of mobile sensors to identify a term source in parabolic partial differential equations, an experimental device is proposed in this study. Both phenomena of convection and diffusion (possibly non-linear) are taken into account. The work described in this document is intended to develop a comprehensive methodology to achieve an optimal design of experiments for nonlinear ill-posed problems associated with the evaluation of unknown parameters in systems described by partial differential equations. The experimental prototype is intended to test the performance of strategies for optimal deployment of a mobile set of sensors to identify parameters of multiple heating sources in movement

APA, Harvard, Vancouver, ISO, and other styles

37

Mercadal, Julien. "Approche langage au développement logiciel : application au domaine des systèmes d'informatique ubiquitaire." Phd thesis, Université Sciences et Technologies - Bordeaux I, 2011. http://tel.archives-ouvertes.fr/tel-00654268.

Full text

Abstract:

Face à l'augmentation de la taille et de la complexité des systèmes logiciels, il convient de les décrire à un plus haut niveau d'abstraction (\ie au-delà du code) avant de concrètement les implémenter. Toutefois, l'utilisation de ces descriptions de haut niveau dans les processus de construction et de vérification des systèmes reste très rudimentaire, ne permettant pas de véritablement guider et faciliter le développement logiciel. Cette thèse propose une nouvelle approche pour rendre plus simple et plus sûr le développement de systèmes logiciels. Cette approche repose sur l'utilisation de langages dédiés et sur un couplage fort entre une couche de spécification et d'architecture et une couche d'implémentation. Elle consiste tout d'abord à décrire à un haut niveau d'abstraction différents aspects, à la fois fonctionnels et non fonctionnels, d'un système dans la couche de spécification et d'architecture. Ces descriptions sont ensuite analysées et utilisées pour personnaliser la couche d'implémentation, afin de faciliter la construction et la vérification du système logiciel. Nous illustrons notre approche dans le domaine de l'informatique ubiquitaire. À la suite d'une analyse complète du domaine, nous avons conçu deux langages dédiés à l'orchestration d'objets communicants, Pantaxou et Pantagruel.

APA, Harvard, Vancouver, ISO, and other styles

38

Chrisment, Isabelle. "Étude et développement d'applications distribuées dans l'architecture ALF." Nice, 1996. http://www.theses.fr/1996NICE4973.

Full text

Abstract:

L’émergence de nouvelles applications et la rapide évolution des moyens de télécommunication ont mis en évidence le manque d'efficacité et de flexibilité du modelé traditionnel en couches. En 1990, Clark et Tennenhouse ont proposé une nouvelle architecture appelée ALF (Application Level Framing), qui organise les données en ADUs (Unité de Données Applicatives) significatives pour l'application et le protocole. L’objectif de cette thèse est d'étudier le développement d'applications distribuées dans l'architecture ALF. Il s'agit de montrer comment il est possible de concevoir et d'implanter automatiquement des systèmes de communication mieux adaptés aux applications distribuées modernes et futures. Après avoir évalué l'intérêt d'une architecture comme ALF, nous proposons une méthode pour développer des applications distribuées respectant ALF. Cette méthode repose sur les principes suivants : adaptation du système de communication aux contraintes de l'application et intégration du système de communication dans l'application. Nous expliquons pourquoi, afin de garder un certain niveau d'abstraction, nous avons choisi le langage formel synchrone ESTEREL pour exprimer les contraintes de l'application et le contrôle des mécanismes de transmission. Nous présentons ensuite le compilateur ALF qui nous a permis de mettre en œuvre et d'évaluer notre méthode. Le compilateur ALF génère automatiquement, à partir de spécifications ESTEREL d'une application distribuée, le système de communication dédié et intégré à cette application

APA, Harvard, Vancouver, ISO, and other styles

39

Nguyen, Thi Thanh Tam. "Codèle : Une Approche de Composition de Modèles pour la Construction de Systèmes à Grande Échelle." Phd thesis, Université Joseph Fourier (Grenoble), 2008. http://tel.archives-ouvertes.fr/tel-00399655.

Full text

Abstract:

Depuis "toujours", en Génie Logiciel comme dans toutes les ingénieries, afin réduire la complexité et pour améliorer la réutilisation, le produit à construire est divisé en parties construites indépendamment et ensuite assemblées. L'approche récente de l'Ingénierie Dirigée par les Modèles (IDM, ou MDE pour Model-Driven Engineering), fait de même, en proposant "simplement" que les parties à construire et à assembler soient des modèles et non pas des programmes. C'est ainsi que le problème de la composition de modèles est devenu un thème important de l'IDM, et le sujet de cette thèse. En effet, un système logiciel réel est bien trop complexe pour pouvoir être décrit par un seul modèle. De nombreux modèles devront être créés pour le spécifier, soit à divers niveaux d'abstraction, soit selon divers points de vue, soit encore selon des domaines fonctionnels differents et complémentaires. Dans ce travail, nous partons de l'hypothèse que de tels domaines métiers existent. Un domaine est un champ d'expertise avec 1) les savoir-faire et les connaissances capturés et formalisés sous la forme d'un langage de modélisation dédié au domaine (un Domain-Specific Modeling Language (DSML)), et 2) des outils et des environnements supportant le développement d'applications dans ce domaine. Une application, dans un domaine, est décrite par un modèle (conforme au métamodèle du domaine). Dans ce travail, nous faisons aussi l'hypothèse que ces domaines sont exécutables ; les modèles du domaine sont exécutés par une machine virtuelle du domaine. En IDM, comme dans les autres approches du Génie Logiciel, la réutilisation impose que le processus d'assemblage des parties puisse se faire sans avoir à modifier celles-ci, ni bien sur l'environnement qui les a produit ou qui les exécute. Appliqué à notre contexte, cela signifie qu'il faut être capable de composer des modèles sans les modifier et sans modifier ni l'éditeur ni la machine virtuelle du domaine dont ils sont issus. C'est le problème que nous abordons dans notre travail. Nous montrons que pour atteindre cet objectif, il faut d'abord composer les domaines c'est à dire composer leurs métamodèles et leurs machines virtuelles, puis les modèles. Nous montrons dans ce travail comment ces compositions peuvent être réalisées sans modifier les éléments compos és, en utilisant des relations dites horizontales entre les métamodèles, et des liens entre les modèles. Cette approche est validée d'abord par la réalisation d'un certain nombre de domaines composites, et par de nombreuses compositions de modèles opérationnelles. Une partie importante du travail a consisté à définir Codèle, un langage de composition de modèles et de métamodèles, et à réaliser l'environnement d'assistance correspondant. Codèle assiste les ingénieurs pour composer de façon systématique les domaines, et rend automatique ou semi-automatique la composition de tous modèles provenant de ces domaines. Nous présentons l'outil Codèle et nous évaluons son usage dans divers projets.

APA, Harvard, Vancouver, ISO, and other styles

40

Orgerie, Anne-Cécile. "An Energy-Efficient Reservation Framework for Large-Scale Distributed Systems." Phd thesis, Ecole normale supérieure de lyon - ENS LYON, 2011. http://tel.archives-ouvertes.fr/tel-00672130.

Full text

Abstract:

Over the past few years, the energy consumption of Information and Communication Technologies (ICT) has become a major issue. Nowadays, ICT accounts for 2% of the global CO2 emissions, an amount similar to that produced by the aviation industry. Large-scale distributed systems (e.g. Grids, Clouds and high-performance networks) are often heavy electricity consumers because -- for high-availability requirements -- their resources are always powered on even when they are not in use. Reservation-based systems guarantee quality of service, allow for respect of user constraints and enable fine-grained resource management. For these reasons, we propose an energy-efficient reservation framework to reduce the electric consumption of distributed systems and dedicated networks. The framework, called ERIDIS, is adapted to three different systems: data centers and grids, cloud environments and dedicated wired networks. By validating each derived infrastructure, we show that significant amounts of energy can be saved using ERIDIS in current and future large-scale distributed systems.

APA, Harvard, Vancouver, ISO, and other styles

Dissertations / Theses on the topic 'Systèmes dédiés à l'automatique'

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles