• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 422
  • 171
  • 72
  • 2
  • 1
  • 1
  • Tagged with
  • 721
  • 336
  • 296
  • 278
  • 254
  • 246
  • 243
  • 144
  • 133
  • 92
  • 90
  • 82
  • 79
  • 69
  • 68
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
691

Impacts and Detection of Design Smells

Maiga, Abdou 08 1900 (has links)
Les changements sont faits de façon continue dans le code source des logiciels pour prendre en compte les besoins des clients et corriger les fautes. Les changements continus peuvent conduire aux défauts de code et de conception. Les défauts de conception sont des mauvaises solutions à des problèmes récurrents de conception ou d’implémentation, généralement dans le développement orienté objet. Au cours des activités de compréhension et de changement et en raison du temps d’accès au marché, du manque de compréhension, et de leur expérience, les développeurs ne peuvent pas toujours suivre les normes de conception et les techniques de codage comme les patrons de conception. Par conséquent, ils introduisent des défauts de conception dans leurs systèmes. Dans la littérature, plusieurs auteurs ont fait valoir que les défauts de conception rendent les systèmes orientés objet plus difficile à comprendre, plus sujets aux fautes, et plus difficiles à changer que les systèmes sans les défauts de conception. Pourtant, seulement quelques-uns de ces auteurs ont fait une étude empirique sur l’impact des défauts de conception sur la compréhension et aucun d’entre eux n’a étudié l’impact des défauts de conception sur l’effort des développeurs pour corriger les fautes. Dans cette thèse, nous proposons trois principales contributions. La première contribution est une étude empirique pour apporter des preuves de l’impact des défauts de conception sur la compréhension et le changement. Nous concevons et effectuons deux expériences avec 59 sujets, afin d’évaluer l’impact de la composition de deux occurrences de Blob ou deux occurrences de spaghetti code sur la performance des développeurs effectuant des tâches de compréhension et de changement. Nous mesurons la performance des développeurs en utilisant: (1) l’indice de charge de travail de la NASA pour leurs efforts, (2) le temps qu’ils ont passé dans l’accomplissement de leurs tâches, et (3) les pourcentages de bonnes réponses. Les résultats des deux expériences ont montré que deux occurrences de Blob ou de spaghetti code sont un obstacle significatif pour la performance des développeurs lors de tâches de compréhension et de changement. Les résultats obtenus justifient les recherches antérieures sur la spécification et la détection des défauts de conception. Les équipes de développement de logiciels doivent mettre en garde les développeurs contre le nombre élevé d’occurrences de défauts de conception et recommander des refactorisations à chaque étape du processus de développement pour supprimer ces défauts de conception quand c’est possible. Dans la deuxième contribution, nous étudions la relation entre les défauts de conception et les fautes. Nous étudions l’impact de la présence des défauts de conception sur l’effort nécessaire pour corriger les fautes. Nous mesurons l’effort pour corriger les fautes à l’aide de trois indicateurs: (1) la durée de la période de correction, (2) le nombre de champs et méthodes touchés par la correction des fautes et (3) l’entropie des corrections de fautes dans le code-source. Nous menons une étude empirique avec 12 défauts de conception détectés dans 54 versions de quatre systèmes: ArgoUML, Eclipse, Mylyn, et Rhino. Nos résultats ont montré que la durée de la période de correction est plus longue pour les fautes impliquant des classes avec des défauts de conception. En outre, la correction des fautes dans les classes avec des défauts de conception fait changer plus de fichiers, plus les champs et des méthodes. Nous avons également observé que, après la correction d’une faute, le nombre d’occurrences de défauts de conception dans les classes impliquées dans la correction de la faute diminue. Comprendre l’impact des défauts de conception sur l’effort des développeurs pour corriger les fautes est important afin d’aider les équipes de développement pour mieux évaluer et prévoir l’impact de leurs décisions de conception et donc canaliser leurs efforts pour améliorer la qualité de leurs systèmes. Les équipes de développement doivent contrôler et supprimer les défauts de conception de leurs systèmes car ils sont susceptibles d’augmenter les efforts de changement. La troisième contribution concerne la détection des défauts de conception. Pendant les activités de maintenance, il est important de disposer d’un outil capable de détecter les défauts de conception de façon incrémentale et itérative. Ce processus de détection incrémentale et itérative pourrait réduire les coûts, les efforts et les ressources en permettant aux praticiens d’identifier et de prendre en compte les occurrences de défauts de conception comme ils les trouvent lors de la compréhension et des changements. Les chercheurs ont proposé des approches pour détecter les occurrences de défauts de conception, mais ces approches ont actuellement quatre limites: (1) elles nécessitent une connaissance approfondie des défauts de conception, (2) elles ont une précision et un rappel limités, (3) elles ne sont pas itératives et incrémentales et (4) elles ne peuvent pas être appliquées sur des sous-ensembles de systèmes. Pour surmonter ces limitations, nous introduisons SMURF, une nouvelle approche pour détecter les défauts de conception, basé sur une technique d’apprentissage automatique — machines à vecteur de support — et prenant en compte les retours des praticiens. Grâce à une étude empirique portant sur trois systèmes et quatre défauts de conception, nous avons montré que la précision et le rappel de SMURF sont supérieurs à ceux de DETEX et BDTEX lors de la détection des occurrences de défauts de conception. Nous avons également montré que SMURF peut être appliqué à la fois dans les configurations intra-système et inter-système. Enfin, nous avons montré que la précision et le rappel de SMURF sont améliorés quand on prend en compte les retours des praticiens. / Changes are continuously made in the source code to take into account the needs of the customers and fix the faults. Continuous change can lead to antipatterns and code smells, collectively called “design smells” to occur in the source code. Design smells are poor solutions to recurring design or implementation problems, typically in object-oriented development. During comprehension and changes activities and due to the time-to-market, lack of understanding, and the developers’ experience, developers cannot always follow standard designing and coding techniques, i.e., design patterns. Consequently, they introduce design smells in their systems. In the literature, several authors claimed that design smells make object-oriented software systems more difficult to understand, more fault-prone, and harder to change than systems without such design smells. Yet, few of these authors empirically investigate the impact of design smells on software understandability and none of them authors studied the impact of design smells on developers’ effort. In this thesis, we propose three principal contributions. The first contribution is an empirical study to bring evidence of the impact of design smells on comprehension and change. We design and conduct two experiments with 59 subjects, to assess the impact of the composition of two Blob or two Spaghetti Code on the performance of developers performing comprehension and change tasks. We measure developers’ performance using: (1) the NASA task load index for their effort; (2) the time that they spent performing their tasks; and, (3) their percentages of correct answers. The results of the two experiments showed that two occurrences of Blob or Spaghetti Code design smells impedes significantly developers performance during comprehension and change tasks. The obtained results justify a posteriori previous researches on the specification and detection of design smells. Software development teams should warn developers against high number of occurrences of design smells and recommend refactorings at each step of the development to remove them when possible. In the second contribution, we investigate the relation between design smells and faults in classes from the point of view of developers who must fix faults. We study the impact of the presence of design smells on the effort required to fix faults, which we measure using three metrics: (1) the duration of the fixing period; (2) the number of fields and methods impacted by fault-fixes; and, (3) the entropy of the fault-fixes in the source code. We conduct an empirical study with 12 design smells detected in 54 releases of four systems: ArgoUML, Eclipse, Mylyn, and Rhino. Our results showed that the duration of the fixing period is longer for faults involving classes with design smells. Also, fixing faults in classes with design smells impacts more files, more fields, and more methods. We also observed that after a fault is fixed, the number of occurrences of design smells in the classes involved in the fault decreases. Understanding the impact of design smells on development effort is important to help development teams better assess and forecast the impact of their design decisions and therefore lead their effort to improve the quality of their software systems. Development teams should monitor and remove design smells from their software systems because they are likely to increase the change efforts. The third contribution concerns design smells detection. During maintenance and evolution tasks, it is important to have a tool able to detect design smells incrementally and iteratively. This incremental and iterative detection process could reduce costs, effort, and resources by allowing practitioners to identify and take into account occurrences of design smells as they find them during comprehension and change. Researchers have proposed approaches to detect occurrences of design smells but these approaches have currently four limitations: (1) they require extensive knowledge of design smells; (2) they have limited precision and recall; (3) they are not incremental; and (4) they cannot be applied on subsets of systems. To overcome these limitations, we introduce SMURF, a novel approach to detect design smells, based on a machine learning technique—support vector machines—and taking into account practitioners’ feedback. Through an empirical study involving three systems and four design smells, we showed that the accuracy of SMURF is greater than that of DETEX and BDTEX when detecting design smells occurrences. We also showed that SMURF can be applied in both intra-system and inter-system configurations. Finally, we reported that SMURF accuracy improves when using practitioners’ feedback.
692

Implantation des nouvelles méthodes et techniques dans l'apprentissage des élèves sourds et malentendants / .

Petroiu, Nicoletta 05 July 2017 (has links)
Cette recherche propose d’étudier et de présenter des supports susceptibles d'améliorer le processus d'apprentissage des personnes malentendantes et sourdes par la médiation de nouveaux outils comme les tablettes tactiles. La question est de savoir si l’introduction de ces nouveaux outils, pourrait permettre la création de didacticiels adaptés aux spécificités cognitives des enfants sourds.Dans le contexte actuel, notre hypothèse est que les nouvelles technologies informatiques et les outils numériques (comme les tablettes tactiles) influenceraient positivement le processus d’apprentissage des élèves sourds et malentendants.En conséquence, nous avons créé un logiciel éducatif, Digisthésia, qui a été conçu et adapté aux besoins des élèves sourds et malentendants. Le but de cet outil était de développer et d’améliorer 4 des principales potentialités cognitives : l’attention, la mémoire, la vitesse de traitement et la résolution de problèmes.Notre protocole a mobilisé 80 élèves de 7 collèges de Lyon et de la périphérie lyonnaise : 40 élèves avec différents degrés de déficience auditive, des sujets implantés et appareillés (20 participants ont utilisé le logiciel éducatif Digisthésia / 20 personnes ont fait partie du groupe de contrôle) ainsi que 40 élèves sans déficiences auditives (20 participants qui ont utilisé notre logiciel éducatif sur tablette tactile / 20 élèves ont fait partie du groupe témoin). Les résultats indiquent que la médiation par les nouvelles technologies a renforcé les potentialités cognitives des élèves sourds et malentendants. Nous avons observé un progrès au niveau de l’apprentissage des participants sourds et malentendants suite à l’utilisation du logiciel éducatif Digisthésia sur tablette tactile. / This research proposes to study and present materials that can improve the learning process for people who are hard of hearing and deaf by leveraging the use of new tools such as touch tablets. The question is whether the introduction of these new tools could allow the creation of software tools that more adapted to the cognitive specificities of deaf children.In the current context, our hypothesis is that new computer-base technologies and digital tools (such as touch tablets) would positively influence the learning process for students who are deaf and hard of hearing.As a result, we have created the educational software Digisthésia that has been designed and adapted to the needs of students who are deaf and hard of hearing. The aim of this tool was to develop and improve 4 important cognitive parameters such as attention, memory, processing speed and problem solving.Our protocol mobilized 80 students from grade schools from and near Lyon: 40 students suffering from different degrees of hearing impairment, with an without cochlear implants (20 subjects used the tablet/20 subjects were part of the control group). As well as 40 students with no hearing impairments (20 subjects who used the educational software Digisthésia and the tablet /20 subjects who were part of the control group).The results indicate that leveraging the new technologies has enhanced the cognitive potential of deaf and hard of hearing students. We have seen progress in the learning of deaf and hard of hearing participants as a result of the use of tablets and our software.
693

Programmation d'espace intelligent par l'utilisateur final / End User Programming for smart spaces

Fontaine, Emeric 12 July 2012 (has links)
Cette thèse traite du problème du développement d'espaces intelligents par l'utilisateur final sous l'angle de l'Interaction Homme-Machine et de l'Intelligence Ambiante. Dans les processus actuels de développement, l'utilisateur est un consommateur contraint par un système pensé et réalisé par d'autres. L'objectif de cette thèse est de redonner le pouvoir à l'utilisateur final par le biais d'outils adaptés au développement d'espaces intelligents. Cette thèse retient l'habitat intelligent comme lieu de vie privilégié. Ses contributions incluent : (1) DisQo (Dispositifs du QuOtidien), une nouvelle méthode d'investigation des besoins, réalisable au domicile de familles, qui sollicite l'imagination et assure un juste équilibre entre contrôle expérimental, respect de la sphère privée et validité écologique des résultats ; (2) Un espace de classification pour une lecture comparative systématique et synthétique des outils portant sur le développement et la programmation d'habitats intelligents. Cette taxonomie met en évidence le peu d'avancées en édition multisyntaxe de même pour l'aide à la mise au point de programmes ; (3) KISS (Knit Your Ideas into Smart Spaces), un outil de programmation et de mise au point dont le langage de programmation est de type déclaratif orienté règles, avec potentiel d'égale opportunité syntaxique entre langue française pseudonaturelle (LPN) et langage visuel iconique. La technique d'interaction de construction des programmes LPN s'appuie sur l'utilisation de menus dont les options sont calculées dynamiquement assurant ainsi la découverte progressive du langage ainsi que l'extensibilité et la correction syntaxique et sémantique des programmes. La mise au point peut se pratiquer, au choix, dans le monde physique ou dans un monde dual numérique. L'évaluation de KISS dans DOMUS, un habitat intelligent d'expérimentation, montre que les utilisateurs parviennent à programmer un scénario réaliste de la vie réelle. / This dissertation addresses the problem of end-user development for smart spaces from a human-computer interaction perspective in the context of ambient intelligence. End-users are currently doomed to be consumers of systems that have been designed and implemented by others. The goal of this thesis is to provide end-users with tools that will enable them to develop their own smart spaces. This work focuses on the home as a key place for smartness. The contribution of this doctoral research is threefold: (1) DisQo, a new method for field studies that combines several techniques to reach a satisfying balance between experimental control, privacy issues, and ecological validity. Its key element is for observers to be able to “visit” people homes through the pictures of intimate objects taken by the participants themselves and to use these pictures as playful cultural probes to envision future use; (2) A problem space that makes explicit the functional coverage (as well as the limits) of the tools from the state of the art in the area of end-user development for smart homes. In particular, the problem space reveals a lack of support for multi-syntax editing as well as for testing and debugging programs; (3) KISS (Knit your Ideas into Smart Spaces), an end-user development tool that uses a declarative rule-based programming paradigm where programs are expressed in a French pseudo-natural language with potentiality for syntactic equal opportunity with an iconic visual language. Programs are constructed by selecting items from pull down menus that are dynamically updated with the functionalities of the smart home. By so doing, the end-user can learn the programming language incrementally and specify programs that are semantically and syntactically correct. Programs can be tested either in a virtual home or in a real home. The evaluation of KISS in the DOMUS experimental platform, shows that users are able to program a real-life scenario.
694

Impacts and Detection of Design Smells

Maiga, Abdou 08 1900 (has links)
No description available.
695

Modèles de convection-diffusion pour les colonnes de distillation : application à l'estimation et au contrôle des procédés de séparation cryogéniques des gaz de l'air / Convection-diffusion models for distillation columns : application to estimation and control of cryogenic air separation processes

Dudret, Stéphane 11 June 2013 (has links)
Cette thèse porte sur la modélisation, pour le contrôle, des profils de compositions dans les colonnes de distillation cryogénique. Nous obtenons un modèle non-linéaire de convection-diffusion par réduction d'un modèle d'équations-bilans singulièrement perturbé. Du point de vue de l'automatique, nous nous intéressons à la stabilité des profils de compositions résultants, ainsi qu'à leur observabilité. Du point de vue du procédé, la nouvauté de notre modèle réside dans la prise en compte d'une efficacité de garnissage dépendant des conditions d'opération de la colonne. Le modèle est validé par des comparaisons avec des données de fonctionnement dynamique issues d'une unité de séparation réelle, pour la séparation d'un mélange binaire. Sur le cas plus complexe d'une cascade de colonnes séparant un mélange ternaire, le modèle montre une grande sensibilité aux erreurs d'estimation des taux de reflux. Des résultats adaptés du champ de la chromatographie nous permettent de relier cette sensibilité à des erreurs d'estimation des vitesses d'ondes de compositions cohérentes. En parallèle, nous proposons et testons également un modèle de fonctions de transfert simple (fondé sur des gains statiques et des retards purs uniquement) pour les petites dynamiques de compositions, qui dépend explicitement de valeurs mesurables ou observables sur le procédé / This thesis addresses the problem of modeling the composition profiles dynamics inside cryogenic distillation columns, for control applications. We obtain a non-linear convection-diffusion model from the reduction of a singularly perturbed mass-balances model. In the control theory framework, we consider the stability of the resulting composition profiles and their observability. From the process viewpoint, we express the novelty of our model in terms of operating-conditions dependent packing efficiency. The model is validated against real dynamic plant data for a binary separation case. On a more complex, ternary separation columns cascade, the model shows highly sensitive to reflux rate estimation errors. Result adapted from the field of chromatography allows us to interpret this sensitivity in terms of erroneous coherent composition waves speeds. In parallel, we also propose and test a simple transfer functions model (based on static gains and pure delays only) for small composition dynamics, which explicitly depends on measurable or observable process data.
696

Assurance qualité des traitements par hadronthérapie carbone par imagerie de particules promptes chargées / Quality assurance for carbon hadrontherapy treatments with prompt charged particles imaging

Reithinger, Valérian 29 September 2015 (has links)
L'hadronthérapie est une modalité de radiothérapie innovante dans laquelle des ions légers -tels des protons ou des ions carbone- sont accélérés à une vitesse relativiste, puis focalisés afin d'irradier la zone tumorale du patient. Cette technique se démarque de la radiothérapie dite conventionnelle utilisant des photons- par l'existence d'un pic de dépôt d'énergie, appelé pic de Bragg, qui se situe à la fin du parcours des ions. L'existence de différents phénomènes qui aboutissent à une incertitude sur le parcours des ions représente toutefois une limite à la précision intrinsèque de cette modalité. Cela justifie la nécessité d'une assurance qualité des traitements et motive le développement de techniques de suivi en ligne et en temps réel du parcours des ions. Ces travaux de thèse ont pour objet la caractérisation d'une technique de suivi du parcours des ions, appelée imagerie des vertex d'interaction. Il a en effet été observé que lors du parcours des ions dans le patient, une fraction importante de ceux-ci subit des réactions nucléaires, à l'origine d'un rayonnement de particules promptes secondaires chargées. Un télescope constitué de capteurs pixélisés est proposé pour localiser les vertex d'interaction de ces particules et mesurer leur corrélation avec le parcours des ions, corrélation prédite par des travaux in-silico précédents. La réalisation de plusieurs expériences durant lesquelles des cibles homogènes et hétérogènes ont été irradiées dans des conditions réalistes a permis d'obtenir les premiers résultats expérimentaux relatifs à cette technique, confrontés à des simulations qui ont également été réalisées. Avant de discuter l'ensemble des résultats obtenus, ce manuscrit détaille les aspects matériels et logiciels des importants développements mis en oeuvre et qui ont abouti à un prototype complet et fonctionnel d'imageur, accompagné de simulations Monte Carlo basées sur le logiciel Geant4 / Hadrontherapy is an innovative radiotherapy modality in which light ions -such as protons or carbon ionsare accelerated to a relativistic speed and focused to irradiate a tumoral area. This technique differs from the conventional radiotherapy -which uses photons- by the existence of an energy deposition peak, called Bragg peak, which stands at the end of the ions path. However, different phenomena that lead to uncertainty in the real ion range exist, and limit the intrinsic accuracy of this modality. This justifies the need for a treatments quality assurance and motivates the development of in-line and real-time monitoring techniques to follow the real ions range. This PhD thesis work aims the characterization of an ion range monitoring technic, called interaction vertex imaging. It has been observed that during the ion path in the patient, a significant part of incoming ions undergoes nuclear reactions, causing a prompt secondary charged particles radiation. A telescope made up of pixelated sensors is proposed to locate these particles interaction vertex and to measure their correlation with the ions range, correlation predicted by a previous in-silico work. The first experimental results for this technique has been obtained with the realization of several experiments during which homogeneous and heterogeneous targets were irradiated under realistic conditions. Simulations were also performed to compare with experimental results. Before discussing the overall results, this manuscript details the hardware and software aspects of important developments that was made and that resulted in a complete and working prototype imager, with Monte Carlo simulations based on the Geant4 software
697

Développement des systèmes logiciels par transformation de modèles : application aux systèmes embarqués et à la robotique / Software systems development by model transformation : application to embedded systems and robotics

Monthe Djiadeu, Valéry Marcial 01 December 2017 (has links)
Avec la construction des robots de plus en plus complexes, la croissance des architectures logicielles robotiques et l’explosion de la diversité toujours plus grande des applications et misions des robots, la conception, le développement et l’intégration des entités logicielles des systèmes robotiques, constituent une problématique majeure de la communauté robotique. En effet, les architectures logicielles robotiques et les plateformes de développement logiciel pour la robotique sont nombreuses, et sont dépendantes du type de robot (robot de service, collaboratif, agricole, médical, etc.) et de son mode d'utilisation (en cage, d’extérieur, en milieu occupé, etc.). L’effort de maintenance de ces plateformes et leur coût de développement sont donc considérables.Les roboticiens se posent donc une question fondamentale : comment réduire les coûts de développement des systèmes logiciels robotiques, tout en augmentant leur qualité et en préservant la spécificité et l’indépendance de chaque système robotique? Cette question induit plusieurs autres : d’une part, comment décrire et encapsuler les diverses fonctions que doit assurer le robot, sous la forme d’un ensemble d’entités logicielles en interaction? Et d’autre part, comment conférer à ces entités logicielles, des propriétés de modularité, portabilité, réutilisabilité, interopérabilité, etc.?A notre avis, l’une des solutions les plus probables et prometteuses à cette question consiste à élever le niveau d’abstraction dans la définition des entités logicielles qui composent les systèmes robotiques. Pour ce faire, nous nous tournons vers l’ingénierie dirigée par les modèles, et plus particulièrement la conception des DSML (Domain Specific Modeling Language).Dans cette thèse, nous réalisons dans un premier temps, une étude comparative des langages de modélisation et de méthodes utilisés dans le développement des systèmes embarqués temps réel en général. L’objectif de ce premier travail étant de voir s’il en existe qui puissent permettre de répondre aux questions susmentionnées des roboticiens. Cette étude, non seulement nous montre que ces approches ne sont pas adaptées à la définition des architectures logicielles robotiques, mais elle aboutit surtout à unFramework, que nous proposons et qui aide à choisir la (les) méthode(s) et/ou le(s) langage(s) de modélisation le(s) plus adapté(s) aux besoins du concepteur. Par la suite, nous proposons un DSML baptisé RsaML (Robotic Software Architecture Modeling Language), pour la définition des architectures logicielles robotiques avec prise en compte de propriétés temps réel. Pour ce faire, un méta-modèle est proposé à partir des concepts que les roboticiens ont l’habitude d’utiliser pour la définition de leurs applications. Il constitue la syntaxe abstraite du langage. Les propriétés temps réel sont identifiées à leur tour et incluses dans les concepts concernés. Des règles sémantiques du domaine de la robotique sont ensuite définies sous forme de contraintes OCL, puis intégrées au méta-modèle, pour permettre que des vérifications de propriétés non fonctionnelles et temps réel soient effectuées sur les modèles construits. Le Framework de modélisation EMF d’Eclipse a été utilisé pour mettre en oeuvre un éditeur qui supporte le langage RsaML.La suite des travaux réalisés dans cette thèse a consisté à définir des transformations de modèles, puis à les utiliser pour implémenter des générateurs. Ces derniers permettent à partir d’un modèle RsaML construit, d’une part, de produire sa documentation et, d’autre part, de produire du code source en langage C. Ces contributions sont validées à travers un cas d’étude décrivant un scénario basé sur le robot Khepera III. / With the construction of increasingly complex robots, the growth of robotic software architectures and the explosion of ever greater diversity of applications and robots missions, the design, development and integration of software entities of robotic systems, constitute a major problem for the robotics community. Indeed, robotic software architectures and software development platforms for robotics are numerous, and are dependent on the type of robot (service robot, collaborative, agricultural, medical, etc.) and its usage mode (In cage, outdoor, environment with obstacles, etc.).The maintenance effort of these platforms and their development cost are therefore considerable.Roboticists are therefore asking themselves a fundamental question: how to reduce the development costs of robotic software systems, while increasing their quality and preserving the specificity and independence of each robotic system? This question induces several others: on the one hand, how to describe and encapsulate the various functions that the robot must provide, in the form of a set of interactive software entities? And on the other hand, how to give these software entities, properties of modularity, portability, reusability, interoperability etc.?In our opinion, one of the most likely and promising solutions to this question, is to raise the level of abstraction in defining the software entities that make up robotic systems. To do this, we turn to model-driven engineering, specifically the design of Domain Specific Modeling Language (DSML).In this thesis, we first realize a comparative study of modeling languages and methods used in the development of embedded real time systems in general. The objective of this first work is to see if there are some that can make it possible to answer the aforementioned questions of the roboticists. This study not only shows that these approaches are not adapted to the definition of robotic software architectures, but mainly results in a framework, which we propose and which helps to choose the method (s) and / or the modeling language (s) best suited to the needs of the designer. Subsequently, we propose a DSML called Robotic Software Architecture Modeling Language (RsaML), for the definition of robotic software architectures with real-time properties. To do this, a meta-model is proposed from the concepts that roboticists are used to in defining their applications. It constitutes the abstract syntax of the language. Real-time properties are identified and included in the relevant concepts. Semantic rules in the field of robotics are then defined as OCL constraints and then integrated into the meta-model, to allow non-functional and realtime property checks to be performed on the constructed models.Eclipse Modeling Framework has been used to implement an editor that supports the RsaML language. The rest of the work done in this thesis involved defining model transformations and then using them to implement generators. These generators make it possible from a RsaML model built, to produce its documentation and source code in C language. These contributions are validated through a case study describing a scenario based on the Khepera III robot.
698

Caractérisations optiques (LBIC, LBIV) et validation d’encres pour des cellules et des modules solaires photovoltaïques organiques / Optical characterizations (LBIC, LBIV) and validation of inks for organic photovoltaic cells and modules

Garuz, Richard 22 September 2015 (has links)
Les travaux de cette thèse sont en rapport avec la caractérisation de cellules solaires organiques et se déclinent suivant 3 axes :- Dans le cadre du projet IMPCELPHOTOR, nous avons développé un banc de caractérisation LBIC/LBIV permettant de cartographier des dispositifs OPV afin de visualiser et d’identifier les défauts de fonctionnement.- Dans le cadre du projet Européen SPrinTronics, nous avons travaillé sur l’amélioration des électrodes. Pour l’électrode collectrice d’électrons, nous avons sélectionné, testé et validé des encres métalliques à base de nanoparticules d’argent compatibles avec l’impression jet d’encre et permettant de réaliser des dispositifs OPV fonctionnels. Pour l’électrode collectrice de trous, nous avons testé des encres à base de nanofils d’argent et de nanotubes de carbone afin de remplacer l’ITO. Des résultats satisfaisants ont été obtenus avec une encre à base de nanofils d’argent. Cette dernière permet de réaliser des cellules semi-transparentes fonctionnelles sur verre et sur plastique. - Un travail sur l’aspect couleur d’un dispositif OPV a été mené au sein du projet PHASME. Nous avons mis en œuvre différentes techniques afin de modifier la couleur d’un dispositif OPV sans détruire ses performances photovoltaïques, le but étant de réaliser des modules polychromes. Nous avons développé simultanément un logiciel de colorimétrie permettant de contrôler et de prévoir le rendu de couleur dû à l’ajout de filtre coloré sur le dispositif OPV. / The work of this thesis is related to the characterization of organic solar cells and is structured in three independant parts :- Within the IMPCELPHOTOR project, we developed an experimental bench based on LBIC/ LBIV mapping, in order to visualize and identify defects within OPV device and modules.- Within the European SPrinTronics project, we worked on the improvement of OPV electrodes. For the top electrode, we selected, tested, and validated metallic inks based on silver nanoparticles compatible with inkjet printing. For the bottom electrode, we tested silver nanowires and carbon nanotubes inks to replace ITO. Satisfactory results have been obtained with an ink based on silver nanowires, which allowed us to obtain functional semi-transparent cells on glass and plastic.- Within the PHASME project, we worked on the visual aspect of a coloured OPV device. We implemented various strategies to change the color of an OPV device without altering its photovoltaic performance, the aim being to achieve full color modules. Simultaneously, we developed a colorimetric software to control and predict the color rendering on the final device (OPV plus filter).
699

Conception optimale d’une gamme de moteurs synchrones à démarrage direct à haute performance énergétique / Optimal design of line-start permanent magnet synchronous motors of high efficiency

Elistratova, Vera 06 November 2015 (has links)
Ce travail a pour objectif de développer un outil analytique multi-physiques de dimensionnement d’une gamme de moteurs « hybrides » à démarrage direct, intégrant les avantages des deux technologies : l’auto-démarrage de la technologie asynchrone et les bonnes performances énergétique en régime permanent de la technologie synchrone à aimants permanents en répondant aux nouveaux enjeux d’efficacité énergétique et en ajoutant à cela les aspects économiques.La validation de cet outil est effectuée par des modèles éléments finis créés avec un logiciel commercial ANSYS/Maxwell et par des essais expérimentaux réalisés à l’aide de deux prototypes LSPMSM 7.5kW. / This work aims to develop a multi-physical generic model (and a pre-design software) for a range of LSPMSMs which would integrate the advantages of both technologies: self-start asynchronous technology and good energy performance of synchronous permanent magnet technology. The validation of this model is carried out by finite element commercial software ANSYS / Maxwell and by experimental tests using two 7.5kW.LSPMSM prototypes.
700

Structured and collaborative search: an integrated approach to share documents among users

Francq, Pascal 02 June 2003 (has links)
<p align="justify">Aujourd'hui, la gestion des documents est l'un des problèmes les plus importants en informatique. L'objectif de cette thèse est de proposer un système de gestion documentaire basé sur une approche appelée recherche structurée et collaborative. Les caractéristiques essentielles sont :</p><p><ul><li><p align="justify">Dès lors que les utilisateurs ont plusieurs centres d'intérêts, ils sont décrits par des profils, un profil correspondant à un centre d'intérêt particulier. C'est la partie structurée du système.</li><p></p><p><li><p align="justify">Pour construire une description des profils, les utilisateurs jugent des documents en fonction de leur intérêt</li><p></p><p><li><p align="justify">Le système regroupe les profils similaires pour former un certain nombre de communautés virtuelles</li></p> <p><li><p align="justify">Une fois les communautés virtuelles définies, des documents jugés comme intéressants par certains utilisateurs d'une communauté peuvent être partagés dans toute la communauté. C'est la partie collaborative du système.</p><p></li></ul><p><p align="justify">Le système a été validé sur plusieurs corpora de documents en utilisant une méthodologie précise et offre des résultats prometteurs.</p><p> / Doctorat en sciences appliquées / info:eu-repo/semantics/nonPublished

Page generated in 0.0306 seconds