• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 516
  • 143
  • 83
  • 5
  • 3
  • 1
  • 1
  • Tagged with
  • 763
  • 180
  • 168
  • 154
  • 110
  • 76
  • 75
  • 69
  • 67
  • 64
  • 64
  • 62
  • 62
  • 60
  • 59
  • 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.
291

Impact des paramètres environnementaux sur la synthèse des arômes fermentaires par Saccharomyces cerevisiae en fermentation oenologique / Impact of the environemental parameters on the synthesis of fermentative aromas by Saccharomyces cerevisiae in winemaking fermentation

Rollero, Stéphanie 10 July 2015 (has links)
Les arômes fermentaires (alcools supérieurs, esters) jouent un rôle important dans le profil organoleptique des vins jeunes. Leur production dépend à la fois de la souche de levure utilisée et des paramètres environnementaux. Pour comprendre le rôle de trois facteurs clés (température, azote, lipides) sur la production des arômes fermentaires, nous avons réalisé une étude comparative entre une souche évoluée aromatique Affinity™ ECA5 et sa souche ancestrale Lalvin EC1118®. Dans un premier temps, les effets combinés des trois paramètres environnementaux ont été étudiés grâce à un plan expérimental de Box-Behnken. L'azote est le facteur ayant la plus grande influence sur la majorité des composés volatils; cependant son effet est différent selon la molécule ciblée et les interactions entre facteurs sont importantes. Par ailleurs, si les deux souches répondent dans le même sens aux changements de conditions de fermentation, les intensités de réponse sont très différentes. Pour avancer dans la compréhension des mécanismes mis en jeu et en particulier dans l'analyse de l'interaction azote / lipides, nous avons combiné des études de suivi cinétique précis de la production des arômes fermentaires et une approche transcriptomique. Ces études ont révélé des différences entre les deux souches dans la chronologie de formation des arômes, suggérant des modifications dans la régulation de leur synthèse. En particulier, le rendement de conversion entre alcools supérieurs et esters d'acétate est largement supérieur chez Affinity™ ECA5, mais diminue fortement après addition de phytostérols, en lien avec une répression des gènes de la voie de synthèse des stérols. Ces résultats montrent une gestion différente des lipides par la souche évoluée et suggèrent qu'une plus grande disponibilité en acétyl-CoA pourrait être à l'origine des propriétés aromatiques de cette souche. Enfin, une approche quantitative basée sur la filiation isotopique de sources d'azote marquées 13C a été réalisée. Cette étude confirme le rôle clé de l'acétyl-CoA dans une gestion différentielle du pool d'α-cetoacides responsable de la surproduction des alcools supérieurs chez Affinity™ ECA5. Globalement, ce travail a permis d'identifier les paramètres les plus efficaces pour orienter le métabolisme fermentaire vers la production d'arômes ainsi que certains mécanismes impliqués. Il a également permis de mieux caractériser le métabolisme de la souche évoluée Affinity™ ECA5. Les connaissances acquises constituent une avancée importante pour une amélioration de la gestion de la nutrition en fermentation œnologique. / Fermentative aromas (higher alcohols, esters) have a major role in the organoleptic profile of young wines. Their production depends on both the used yeast strain and environmental parameters. To better understand the role of three key factors (temperature, nitrogen, lipids) on the synthesis of fermentative aromas, we compared an aromatic evolved strain Affinity™ ECA5 and its parent strain Lalvin EC1118®. First, the combined effects of these three parameters were investigated through an experimental Box-Behnken design. Nitrogen greatly impacted the majority of the volatile compounds but differently depending on the targeted molecule and in interaction with the other factors. Overall, both strains showed similar responses to changes in fermentation conditions but with different intensities. To improve the understanding of the involved mechanism, particularly in the study of nitrogen / lipids interaction, several approaches were combined. A precise on-line monitoring of the production kinetics of fermentative aromas coupled with transcriptomic analysis revealed differences between the two strains in the chronology of aroma synthesis, suggesting changes in the regulation of their production. In particular, the conversion yield between a higher alcohol and its acetate ester differed greatly between the two strains. We have shown that this difference was due to a different lipid management by the strain Affinity™ ECA5. Finally, a quantitative approach based on the isotopic filiation of 13C labelled nitrogen sources was performed. This study confirms the key role of acetyl-CoA in a differential management of α-ketoacid pool responsible for the overproduction of higher alcohols by Affinity ™ ECA5.Overall, this project identified the most effective parameters to guide the fermentative metabolism toward the production of aromas and to better understand mechanisms involved. It also better characterized the metabolism of the evolved strain Affinity™ ECA5. These results are crucial to improve the management of nutrition in wine fermentation.
292

Développement de méthodes d'analyse de comprimés à haute vitesse

Langlet, Alyssa January 2018 (has links)
La qualité des produits commercialisés représente un enjeu essentiel dans le domaine pharmaceutique. De plus en plus, les industriels cherchent à contrôler les différentes étapes de leurs procédés, les produits générés à toutes les étapes de fabrication ainsi que leurs produits finis, le but de tout cela étant une meilleure compréhension des procédés, ainsi qu’un gain de temps et une réduction des pertes financières. La chaire de recherche sur les Technologies d’Analyse de Procédés (PAT) en partenariat avec Pfizer travaille sur le développement de connaissances sur les phénomènes physico-chimiques régissant le comportement des procédés, et sur les critères de transferts technologiques basés sur des modèles phénoménologiques ou mathématiques. C’est dans le cadre de cette chaire que s’est déroulée cette maîtrise. Les travaux présentés mettent en lumière le développement d’une méthode permettant d’analyser de manière non destructive 100% des comprimés fabriqués, à vitesse réelle de production. À l’aide de la spectroscopie Proche-Infrarouge, l’objectif est de quantifier la teneur en principe actif dans chaque produit et dans le but d’identifier tous ceux étant sur ou sous-dosés. Également, l’adaptation de cette méthode à d’autres types d’analyses qui ont un intérêt dans l’industrie, comme la quantification d’humidité des comprimés, et l’enrobage, a été étudiée. Dans chaque cas, des spectres proche-infrarouge de produits fabriqués ont été acquis à l’aide d’une sonde installée sur un système de tri fonctionnant à une vitesse supérieure à celle d’une presse (c’est à dire généralement de 60,000 à 160,000 comprimés par heure). Les données ont été utilisées pour bâtir des modèles multivariés et prédire les valeurs souhaitées. Les résultats obtenus ont montré qu’il était possible d’analyser l’intégralité des échantillons d’un lot, à une vitesse garantissant de ne pas ralentir la production. L’utilisation d’une telle méthode dans l’industrie permettra de contrôler la globalité des produits finis, et donc permettre une qualité de 100% des produits commercialisés et éviter les rappels. Elle permettra également d’être utilisée en développement, lorsque la génération de beaucoup de données est nécessaire, comme pour le développement d’un algorithme par exemple.
293

Apprentissage actif en-ligne d'un classifieur évolutif, application à la reconnaissance de commandes gestuelles / Online active learning of an evolving classifier, application to gesture command recognition

Bouillon, Manuel 18 March 2016 (has links)
L'utilisation de commandes gestuelles est une nouvelle méthode d'interaction sur interface tactile. Une bonne méthode pour faciliter la mémorisation de ces commandes gestuelles est de laisser l'utilisateur les personnaliser. Ce contexte applicatif induit une situation d'apprentissage croisé, où l'utilisateur doit mémoriser le jeu de symboles elle système doit apprendre à reconnaître les différents symboles. Cela implique un certain nombre de contraintes, à la fois sur le système de reconnaissance de symboles ct sur le système de supervision de son apprentissage. Il faut par exemple que le classifieur puisse apprendre à partir de peu de données, continuer à apprendre pendant son utilisation et suivre toute évolution des données indéfiniment. Le superviseur doit quant à lui optimiser la coopération entre l'utilisateur et le système de reconnaissance pour minimiser les interactions tout en maximisant l'apprentissage. Cette thèse présente d'une part, le système d'apprentissage évolutif Evolve oo, capable d'apprendre rapidement il partir de peu de données et de suivre les changements de concepts. D'autre part, elle introduit le superviseur actif en-ligne lntuiSup qui permet d'optimiser la coopération entre le système et l'utilisateur, lors de l'utilisation de commandes gestuelles personnalisées notamment Evolve oo est un système d'inférence floue, capable d'apprendre rapidement grâce aux capacités génératrices des prémisses des règles, tout en permettant d'obtenir une précision élevée grâce aux capacités discriminantes des conclusions d'ordre un. L'intégration d'oubli dans le processus d'apprentissage permet de maintenir le gain de l'apprentissage indéfiniment, permettant ainsi l'ajout de classes à n'importe quel moment de l'utilisation du système ct garantissant son évolutivité « à vie». Le superviseur actif en-ligne lntuiSup permet d'optimiser les interactions avec l'utilisateur pour entraîner un système d'apprentissage lorsque l'utilisateur est dans la boucle. Il permet de faire évoluer la proportion de données que l'utilisateur doit étiqueter en fonction de la difficulté du problème et de l'évolution de l'environnement (changements de concepts). L'utilisation d'une méthode de« dopage» de l'apprentissage permet d'optimiser la répartition de ces interactions avec l'utilisateur pour maximiser leur impact sur l'apprentissage. / Using gesture commands is a new way of interacting with touch sensitive interfaces. In order to facilitate user memorization of several commands, it is essential to let the user customize the gestures. This applicative context gives rise to a crosslearning situation, where the user has to memorize the set of commands and the system has to learn and recognize the different gestures. This situation implies several requirements, from the recognizer and from the system that supervizes its learning process. For instance, the recognizer has to be able to learn from few data samples, to keep learning during its use and to follow indefinitely any change of the data now. The supervisor has to optimize the cooperation between the recognizer and the system to minimize user interactions while maximizing recognizer learning. This thesis presents on the one hand the evolving recognition system Evolve oo, that is capable of fast teaming from few data samples, and that follows concept drifts. On the other hand, this thesis also presents the on line active supervisor lntuiSup, that optimizes user-system cooperation when the user is in the training loop, as during customized gesture command use for instance. The evolving classifier Evolve oo is a fuzzy inference system that is fast learning thanks to the generative capacity of rule premises, and at the same time giving high precision thanks to the discriminative capacity of first order rule conclusion. The use of forgetting in the learning process allows to maintain the learning gain indefinitely, enabling class adding at any stage of system learning, and guaranteeing lifelong evolving capacity. The on line active supervisor IntuiSup optimizes user interactions to train a classifier when the user is in the training loop. The proportion of data that is labeled by the user evolves to adapt to problem difficulty and to follow environment evolution (concept drift s). The use of a boosting method optimizes the timing of user interactions to maximize their impact on classifier learning process.
294

Towards Trustworthy Online Voting : Distributed Aggregation of Confidential Data / Confiance dans le vote en ligne : agrégation distribuée de données confidentielles

Riemann, Robert 18 December 2017 (has links)
L’agrégation des valeurs qui doivent être gardées confidentielles tout en garantissant la robustesse du processus et l’exactitude du résultat est nécessaire pour un nombre croissant d’applications. Divers types d’enquêtes, telles que les examens médicaux, les référendums, les élections, ainsi que les nouveaux services de Internet of Things, tels que la domotique, nécessitent l’agrégation de données confidentielles. En général,la confidentialité est assurée sur la base de tiers de confiance ou des promesses de cryptographie, dont les capacités ne peuvent être évaluées sans expertise.L’ambition de cette thèse est de réduire le besoin de confiance dans les autorités, de même que la technologie, et d’explorer les méthodes d’agrégations de données à grande échelle, qui garantissent un degré élevé de confidentialité et ne dépendent ni de tiers de confiance ni de cryptographie. Inspiré par BitTorrent et Bitcoin, les protocoles P2P sont considérés. La première contribution de cette thèse est l’extension du protocole d’agrégation distribuée BitBallot dans le but de couvrir les agrégations dans les réseaux P2P comprenant des pairs adversaires avec un comportement défaillant ou byzantin. Les changements introduits permettent éventuellement de maintenir un résultat précis en présence d’une minorité adversaire. Les limites de scalabilité rencontrées conduisent à la deuxième contribution dans le but de soutenir les agrégations à grande échelle. Inspiré par BitBallot et BitTorrent, un nouveau protocole distribué appelé ADVOKAT est proposé.Dans les deux protocoles, les pairs sont affectés aux noeuds feuilles d’un réseau de superposition d’une structure arborescente qui détermine le calcul des agrégats intermédiaires et restreint l’échange de données. La partition des données et du calcul entre un réseau de pairs équipotent limite le risque de violation de données et réduit le besoin de confiance dans les autorités. Les protocoles fournissent une couche middleware dont la flexibilité est démontrée par les applications de vote et de loterie. / Aggregation of values that need to be kept confidential while guaranteeing the robustness of the process and the correctness of the result is necessary for an increasing number of applications. Various kinds of surveys, such as medical ones, opinion polls, referendums, elections, as well as new services of the Internet of Things, such as home automation, require the aggregation of confidential data. In general, the confidentiality is ensured on the basis of trusted third parties or promises of cryptography, whose capacities cannot be assessed without expert knowledge.The ambition of this thesis is to reduce the need for trust in both authorities and technology and explore methods for large-scale data aggregations, that ensure a high degree of confidentiality and rely neither on trusted third parties nor solely on cryptography. Inspired by BitTorrent and Bitcoin, P2P protocols are considered.The first contribution of this thesis is the extension of the distributed aggregation protocol BitBallot with the objective to cover aggregations in P2P networks comprising adversarial peers with fail-stop or Byzantine behaviour. The introduced changes allow eventually to maintain an accurate result in presence of an adversarial minority.The encountered scalability limitations lead to the second contribution with the objective to support large-scale aggregations. Inspired by both BitBallot and BitTorrent, a novel distributed protocol called ADVOKAT is proposed.In both protocols, peers are assigned to leaf nodes of a tree overlay network which determines the computation of intermediate aggregates and restricts the exchange of data. The partition of data and computation among a network of equipotent peers limits the potential for data breaches and reduces the need for trust in authorities. The protocols provide a middleware layer whose flexibility is demonstrated by voting and lottery applications.
295

Contribution au développement de modèles circuits pour l’étude de couplages électromagnétiques à l’intérieur d’enceintes métalliques / Contribution to the development of circuits models for the study of electromagnetic couplings inside metallic enclosures

Boutar, Abdelghafour 29 October 2014 (has links)
La prédiction du couplage d’interférences électromagnétiques avec les systèmes électroniques sensibles situés dans des enceintes blindées est devenue une nécessité dans le domaine de la compatibilité électromagnétique (CEM) des systèmes complexes. L’étude du couplage d’un champ ÉM avec et à l’intérieur de l’enceinte d’un équipement électronique a été réalisée antérieurement en utilisant des méthodes numériques et analytiques. Le travail de recherche présenté tout au long de ce document de thèse à pour but d’apporter une contribution à une meilleure compréhension des modèles analytiques permettant d’évaluer rapidement les niveaux de couplages induits sur un équipement électronique, en représentant celui-ci sous forme d’une enceinte métallique qui contient des monopôles, des dipôles, des plans de masse représentatifs de cartes et des lignes de transmissions. Après avoir établi le modèle physique de la fonction de Green (FG) relative à une cavité rectangulaire, la première partie à été consacrée à l’étude du couplage ÉM à l’intérieur d’une enceinte métallique rectangulaire en employant les modèles ILCM (Intermediat Level Circuit Model). Dans la deuxième partie de ce document, nous avons exploité le modèle ILCM pour l’étude du couplage ÉM avec des structures filaires de petite dimension. Afin d’étudier le couplage ÉM avec une ligne de transmission (LT) située à l’intérieur de l’enceinte d’un équipement électronique, nous avons développé au cours de la dernière partie de ce manuscrit un nouveau modèle du couplage. Différentes configurations ont été analysées, les résultats obtenus par ces analyses ont été comparés et validés avec Temsi-FD et avec les mesures expérimentales. / He electromagnetic interferences (EMI) coupling inside metallic cavities that constitutes the shielding of electronic cards is an important problem in the electromagnetic compatibility (EMC) domain. The electromagnetic (EM) coupling with transmission lines (TL) or other objects located inside an enclosure has been investigated by different authors. Previous analyses have been made using numerical and analytical methods. The goal of the research work presented in this manuscript is to make a contribution to a better understanding of the analytical models allowing to predict the EM coupling level induced on an electronic device. After the establishment the physical model for the modal representation of the Green function (GF), the first part is devoted to analyse the EM coupling within enclosure by using the ILCM (Intermediat Level Circuit Model) technique. In the second part of this manuscript, we have exploited the ILCM model for predicting the EM coupling with elementary antennas fixed within enclosure. Finally, in the last part, a simple and efficient analytical model has been developed for the prediction of the electromagnetic (EM) field coupling with a lossless transmission line (TL) located in a rectangular enclosure. The analytical results have been successfully compared over a wide frequency band with Temsi-FD and experimental results.
296

Les TIC, apports et enjeux pour le développement de la compétence textuelle : le cas des étudiants palestiniens en licence de FLE de l’université d’An-Najah / The ICT, relations and issues for the development of the textual competence : case of of Palestinian students who study French as a foreign language at An Najah National University

Bishawi, Wasim 07 January 2014 (has links)
Cette recherche tente d’étudier les effets de l’intégration pédagogique des technologies de l’information et de la communication (TIC) sur l’acquisition de la compétence textuelle à court terme chez des étudiants palestiniens en licence de FLE de l'Université An-Najah. Il s’agit de faire découvrir les potentialités de ces technologies et de mettre en place un dispositif de correspondance en ligne entre natifs et non-natifs permettant d’intégrer des pratiques pédagogiques nouvelles au contexte palestinien.Ceci donne accès à l’écriture dans une situation de communication interactive, sociale et motivante au moyen d’outils de communication et de ressources en ligne(correcteurs, traducteurs, moteurs de recherche, etc.). L’objectif est d’améliorer les compétences micro- et macro-structurelles nécessaires à la rédaction d'un texte cohérent et cohésif correspondant au niveau B1+ du CECR.Dans cette recherche, nous avons adopté une perspective systémique dans une recherche-action afin de mieux comprendre les relations qu’entretient l’intégration des technologies avec les changements de pratiques pédagogiques dans l’établissement d’accueil. Nous avons donc mené une étude approfondie du terrain et une analyse de plusieurs textes produits par notre échantillon dans le cadre de l’expérimentation afin de mesurer les apports et les enjeux qu’entraîne le recours à l’utilisation des TIC. Les résultats montrent une progression au niveau micro-structurel (notamment sur le plan sémantique et morphosyntaxique) ainsi qu’une légère amélioration de la compétence macro-structurelle (notamment en ponctuation). / The researcher seeks to study the effects of the integrationof pedagogical techniques of information andcommunications technology (ICT) on the textual competence, in the short term, of Palestinian students who study French as a foreign language at An Najah National University. The researcher seeks to discover the potential of the technology via the creation of an online correspondence between native and non-native speakers, which allows forthe practice of new aspects of the language. This will fosterwriting in a socially communicative-interactive way, and willmotivate students to use different technological toolsavailable on the Internet, such as translation programs,spelling corrections, etc.The objective is to enhance the micro-competence and macro-structural, which are very important in a coherentand cohesive writing that matches level (B1+) of the Common European Framework of Reference for Languages.In this research paper, the researcher adopted a systematicperspective in a research-action in order to have a betterunderstanding of the relationship between the integration of technology and the requirements of the pedagogical practices of the receptive institution.The expansive case study that the researcher worked on in the field and the analysis of several text-samples is the chosen mode of experimentation used to measure, as well as gauge, the relations and issues that lead to the use of ICT. The results show a progress in the micro-structurallevel (especially in the semantics and morphosyntax) aswell as a slight improvement in language proficiency(especially in punctuation).
297

Médiations documentaires et médiations identitaires dans une communauté de savoir en ligne : le cas de la blogosphère infodoc / Documentary and identity mediations in a community of knowledge online : the case of infodoc blogosphere

Stassin, Bérengère 16 November 2015 (has links)
Cette recherche doctorale s’inscrit dans la problématique des nouvelles formes de médiation de l’information et des savoirs engendrées par les technologies du Web 2.0. Elle porte sur le terrain des blogs et vise à analyser leur rôle dans l’émergence de réseaux informationnels dans le domaine de l’information-documentation (info-doc). Plus particulièrement, notre étude porte sur la blogosphère info-doc française et non institutionnelle, c’est-à-dire sur les blogs tenus par des archivistes, des bibliothécaires, des documentalistes et des chercheurs, dans une position totalement détachée des institutions où ils travaillent. L’objectif est de déterminer quelle est la nature de ce réseau de blogs et quelles sont les formes de médiation qu’il exerce. Différentes analyses sont menées sur un corpus de 5 555 billets publiés par 68 blogueurs entre 2010 et 2012 : une analyse structurale, une analyse du contenu thématique, une analyse du discours, auxquelles s’ajoute une série d’entretiens semi-directifs. Les résultats montrent que cette blogosphère peut être considérée comme une communauté de savoir en ligne dont les membres partagent des connaissances, des savoir-faire et des expériences. Malgré l’hétérogénéité de leur profil, les blogueurs sont réunis autour d’un intérêt commun pour l’info-doc. Ils sont également réunis grâce à des « objets-frontières » et des « acteurs interfaces » qui créent des liens entre eux. En outre, leur activité de partage de connaissances passe par un processus de réification consistant à produire des documents. Les résultats montrent que les blogueurs produisent différents types de documents et exercent une mosaïque de médiations documentaires. À travers leurs pratiques info-communicationnelles ils construisent également leur « identité numérique » et leur présence en ligne et assurent la promotion de leur expertise. Cela engendre alors une autre forme de médiation : une « médiation identitaire ». Tout document publié au sein d’un blog d’expert est donc à la fois le produit d’une médiation documentaire et d’une médiation identitaire. / This doctoral research deals with the new forms of information and knowledge mediation resulted by Web 2.0 technologies. It focuses on blogs and investigates their role in the emergence of informational networks in the field of Library and Information Science (LIS). The study conducted for this doctoral research focused on the French LIS non-institutional blogosphere, i.e. on blogs of archivists, librarians, knowledge managers, or researchers, maintained by themselves independently from any institution. The goal of the study was to define the character of this blog network and the type of information mediation it represents. A sample of 5 555 posts published by 68 bloggers between 2010 and 2012 was analyzed. The following types of analysis were applied: social network analysis, content analysis, discourse analysis, enriched by semi-structured interviews. The results show that this blogosphere might be considered as an online knowledge community whose members share knowledge, know-how, and experience. Despite their different backgrounds, bloggers gather around a common interest in LIS. They also gather thanks to “boundary objects” and “brokers” that provide a link and an interface between them. Moreover, their knowledge sharing activities require a reification process that involves a production of documents. The results of the study reveal that bloggers produce not only a wide range of documents, but also a mosaic of documentary mediations. Through their information and communication practices, bloggers also create their digital identities, build their online presence and promote their expertise. This performs another type of mediation: “identity mediation”. Therefore, any document published in an expert’s blog is subject to both a documentary and identity mediation.
298

Leveraging model-based product lines for systems engineering / Exploitation des lignes de produits fondées sur les modèles pour l’ingénierie système

Filho, João Bosco Ferreira 03 December 2014 (has links)
Actuellement, de nombreuses entreprises ont besoin de construire des versions\variantes légèrement différentes d'un même système. Ces versions partagent des points communs et des différences, le tout pouvant être géré à l'aide d'une approche ligne de produits (SPL). L'objectif principal d'une SPL est d'exploiter la personnalisation de masse, dans laquelle les produits sont réalisés pour répondre aux besoins spécifiques de chaque client. Pour répondre à ce besoin de personnalisation, les systèmes doivent être étendus de manière efficace, ou modifiés, configurés pour être utilisé dans un contexte particulier. Une approche encourageante consiste à connecter l'approche MDE (l'ingénierie dirigée par les modèles) à l'approche SPL – les SPL basées sur les modèles (MSPL). L'espace de conception, l'environnement du système logiciel que l'on construit (i.e., l'ingénierie du domaine) d'une MSPL est extrêmement complexe à gérer pour un ingénieur. Tout d'abord, le nombre possible des produits d'une MSPL est exponentielle au nombre d'éléments ou de décisions exprimé dans le modèle de variabilité. Ensuite, les modèles de produits dérivés doivent être conformes à de nombreuses règles liées au domaine métier mais aussi aux langages de modélisation utilisés. Troisièmement, le modèle de réalisation qui relie un modèle de variabilité et un modèle de base peut être très expressif. En plus, il faut ajouter que les ingénieurs système utilisent différents langages de modélisation dédiés dans le cadre de projets pour la réalisation de systèmes critiques. Nos contributions sont basées sur le fait qu'une solution générique, pour tous les domaines, et qui dérive des modèles corrects n'est pas réaliste, surtout si on prend en considération le contexte des systèmes complexes décrits précédemment. Nous proposons une approche indépendante du domaine pour générer des contre-exemples de MSPLs, révélant des erreurs de conceptions de modèles et supportant les parties prenantes à construire de meilleures MSPLs et des mécanismes de dérivation plus efficaces. Plus précisément, la première et principale contribution de la thèse est un processus systématique et automatisé, basé sur CVL (common variability language), pour la recherche aléatoire de contre-exemples de MSPL dans un langage donné. La seconde contribution de la thèse est un étude sur les mécanismes pour étendre la sémantique des moteurs de dérivation, offrant une approche basée sur des modèles à fin de personnaliser leurs sémantique opérationnelle. Dans la troisième contribution de la thèse, nous présentons une étude empirique à large échelle sur le langage Java en utilisant notre approche générative. La quatrième et dernière contribution de la thèse est une méthodologie pour intégrer notre travail dans une organisation qui cherche à mettre en œuvre les lignes de produit logiciels basées sur des modèles pour l'ingénierie des systèmes. / Systems Engineering is a complex and expensive activity in several kinds of companies, it imposes stakeholders to deal with massive pieces of software and their integration with several hardware components. To ease the development of such systems, engineers adopt a divide and conquer approach : each concern of the system is engineered separately, with several domain specific languages (DSL) and stakeholders. The current practice for making DSLs is to rely on the Model-driven Engineering (MDE. On the other hand, systems engineering companies also need to construct slightly different versions/variants of a same system; these variants share commonalities and variabilities that can be managed using a Software Product Line (SPL) approach. A promising approach is to ally MDE with SPL – Model-based SPLs (MSPL) – in a way that the products of the SPL are expressed as models conforming to a metamodel and well-formedness rules. The Common Variability Language (CVL) has recently emerged as an effort to standardize and promote MSPLs. Engineering an MSPL is extremely complex to an engineer: the number of possible products is exponential; the derived product models have to conform to numerous well- formedness and business rules; and the realization model that connects a variability model and a set of design models can be very expressive specially in the case of CVL. Managing variability models and design models is a non-trivial activity. Connecting both parts and therefore managing all the models is a daunting and error-prone task. Added to these challenges, we have the multiple different modeling languages of systems engineering. Each time a new modeling language is used for developing an MSPL, the realization layer should be revised accordingly. The objective of this thesis is to assist the engineering of MSPLs in the systems engineering field, considering the need to support it as earlier as possible and without compromising the existing development process. To achieve this, we provide a systematic and automated process, based on CVL, to randomly search the space of MSPLs for a given language, generating counterexamples that can server as antipatterns. We then provide ways to specialize CVL’s realization layer (and derivation engine) based on the knowledge acquired from the counterexamples. We validate our approach with four modeling languages, being one acquired from industry; the approach generates counterexamples efficiently, and we could make initial progress to increase the safety of the MSPL mechanisms for those languages, by implementing antipattern detection rules. Besides, we also analyse big Java programs, assessing the adequacy of CVL to deal with complex languages; it is also a first step to assess qualitatively the counterexamples. Finally, we provide a methodology to define the processes and roles to leverage MSPL engineering in an organization.
299

Intégration de ressources en recherche translationnelle : une approche unificatrice en support des systèmes de santé "apprenants" / Integrating resources for translational research : a unified approach for learning health systems

Ethier, Jean-Francois 16 February 2016 (has links)
Les systèmes de santé "apprenants" (SSA) présentent une approche complémentaire et émergente aux problèmes de la recherche translationnelle en couplant de près les soins de santé, la recherche et le transfert de connaissances. Afin de permettre un flot d’informations cohérent et optimisé, le système doit se doter d’une plateforme intégrée de partage de données. Le travail présenté ici vise à proposer une approche de partage de données unifiée pour les SSA. Les grandes approches d’intégration de données sont analysées en fonction du SSA. La sémantique des informations cliniques disponibles dans les sources biomédicales est la résultante des connaissances des modèles structurelles des sources mais aussi des connaissances des modèles terminologiques utilisés pour coder l’information. Les mécanismes de la plateforme unifiée qui prennent en compte cette interdépendance sont décrits. La plateforme a été implémentée et testée dans le cadre du projet TRANSFoRm, un projet européen qui vise à développer un SSA. L’instanciation du modèle de médiation pour le projet TRANSFoRm, le Clinical Data Integration Model est analysée. Sont aussi présentés ici les résultats d’un des cas d’utilisation de TRANSFoRm pour supporter la recherche afin de donner un aperçu concret de l’impact de la plateforme sur le fonctionnement du SSA. Au final, la plateforme unifiée d’intégration proposée ici permet un niveau d’expressivité suffisant pour les besoins de TRANSFoRm. Le système est flexible et modulaire et le modèle de médiation CDIM couvre les besoins exprimés pour le support des activités d’un SSA comme TRANSFoRm. / Learning health systems (LHS) are gradually emerging and propose a complimentary approach to translational research challenges by implementing close coupling of health care delivery, research and knowledge translation. To support coherent knowledge sharing, the system needs to rely on an integrated and efficient data integration platform. The framework and its theoretical foundations presented here aim at addressing this challenge. Data integration approaches are analysed in light of the requirements derived from LHS activities and data mediation emerges as the one most adapted for a LHS. The semantics of clinical data found in biomedical sources can only be fully derived by taking into account, not only information from the structural models (field X of table Y), but also terminological information (e.g. International Classification of Disease 10th revision) used to encode facts. The unified framework proposed here takes this into account. The platform has been implemented and tested in context of the TRANSFoRm endeavour, a European project funded by the European commission. It aims at developing a LHS including clinical activities in primary care. The mediation model developed for the TRANSFoRm project, the Clinical Data Integration Model, is presented and discussed. Results from TRANSFoRm use-cases are presented. They illustrate how a unified data sharing platform can support and enhance prospective research activities in context of a LHS. In the end, the unified mediation framework presented here allows sufficient expressiveness for the TRANSFoRm needs. It is flexible, modular and the CDIM mediation model supports the requirements of a primary care LHS.
300

De la ligne claire à la ligne « pas claire » : émancipations esthétiques de la bande dessinée en France et aux États-Unis à l’orée des années 70 / To the Clear Line from the « not clear line » : aesthetic emancipations of comics in France and the United States at the beginning of the 70s

Andrieu de Levis, Jean-Charles 28 November 2019 (has links)
Déployant une esthétique tournée vers la claire lisibilité des images garantissant leur performativité narrative, la ligne claire s’est naturellement constituée comme un style graphique idéel pour la bande dessinée. Mais en bâtissant un univers orienté vers la neutralisation de l’empreinte plastique de l’auteur, elle restreint singulièrement les ressources expressives de la représentation. À l’orée des années 70, de nombreux auteurs américains et français participent à redéfinir de façon radicale les canons du neuvième art et explorent le potentiel figural de l’image et du récit : l’icône et la linéarité narrative se trouvent alors perturbées par de multiples expérimentations. Elles sont placées en déséquilibre et accède à travers cette instabilité à une richesse insoupçonnée. La bande dessinée découvre l’équivoque et s’accorde à l’incertitude d’une pratique expérimentale et non plus normée. Tourmentée, l’image atteint à une puissance poétique qui étend le champ d’expression du neuvième art. Nous souhaitons observer les conditions d’émergence de ces auteurs et de production de ces œuvres qui entrent en dissidence avec l’esthétique « classique », afin d’analyser les procédés stylistiques employés pour détourner la bande dessinée des conventions de la ligne claire. Nous verrons ainsi que les diverses stratégies que nous avons relevées conduisent, selon les degrés d’intensité développés par les auteurs, à une conversion des images et des récits qui les amènent progressivement à s’éloigner de la limpidité figurative et narrative pour aller vers une confusion figurale de plus en plus affirmée. / The Clear Line naturally constituted itself as an ideal graphic style for the comic strip by deploying an aesthetic turned towards the clear legibility of the images, guarantying their narrative performativity. By building a graphic universe oriented towards the neutralization of the author's plastic imprint, it strangely restricts the expressive resources of the representation. At the dawn of the 1970s, many American and French authors tried to radically redefine the canons of the ninth art and explore the figural potential of the image and narrative: the icon and the narrative linearity are then disturbed by multiple experiments. They are placed in imbalance and access through this instability to an unsuspected wealth. Comics discover this ambiguity and the uncertainty of an experimental practice no longer normed. Tormented, the image reaches a poetic power that extends the field of expression of the ninth art.We wish to observe the conditions of emergence of these dissenting authors and works parting with the "classical" aesthetic, and analyze the stylistic processes used to divert the comics from the conventions of the Clear Line. The various strategies we have identified, to the levels of intensity developed by the authors, lead to a conversion of images and narratives, gradually moving away from figurative and narrative limpidity towards a growingly assertive figural confusion.

Page generated in 0.0398 seconds