La conception de variété (ou diversité) de produit est un processus essentiel pour atteindre le niveau de flexibilité requis par la personnalisation de masse. Pendant le processus de conception de la variété, les clients et les experts sont impliqués dans la définition de la meilleure solution. Par conséquent, la compréhension des liens entre les connaissances provenant de ces différents domaines, i.e. client, produit, processus est devenue nécessaire. Dans cette thèse, nous nous intéressons en particulier à la formalisation de ces connaissances. En effet, même si plusieurs efforts ont étés accomplis dans le domaine de la représentation de la connaissance, la pensée logiciste (i.e. utilisation de méthode à base de logiques formelles) reste la base de la majeure partie des travaux sur la formalisation de la connaissance. Des réflexions appropriées sur l’utilisation des logiques peuvent montrer les risques d’ambiguïté de la représentation: l’utilisation de la logique conduit souvent à une représentation sujette à plusieurs interprétations, i.e. une représentation ambiguë. Une représentation avec cette caractéristique ne répond pas à l’exigence de bien comprendre les liens entre les différentes connaissances impliquées dans la conception de la variété. Notre travail s’intéresse, donc, au développement d’un cadre de modélisation de la connaissance de conception basé sur l’anti-logicisme. Les travaux sur les systèmes développés à partir des principes de cette école de représentation de la connaissance montrent à travers des applications concrètes dans les domaines de la robotique ou des systèmes multi-agents que les comportements intelligents peuvent être obtenus sans une représentation de la connaissance basée sur les logiques. Ce cadre permet de développer une variété de produit-processus à partir d’une clientèle définie au départ. Finalement, un critère pour comparer les différentes alternatives de variété générées est aussi proposé. Une méthode pour instancier le cadre de modélisation sur un logiciel de CAO 3D a été développée. De plus, un prototype pour utiliser les modèles de connaissance avec un solveur mathématique a été conçu et développé. Les propositions ont été testées sur un cas d’étude industriel, i.e. batterie froide d’un appareil de réfrigération. Ce test a permis de discuter les avantages et les limites de nos propositions / The product variety design is an essential process in order to deal with the flexibility requested by the mass-customisation. During the product variety stage, customers and expert are involved in the definition of the best variety. Therefore a deep understanding of the links between knowledge coming from the customer domain, product domain and process domain is needed. In this thesis the research focus is on the formalisation of this knowledge. Indeed, even if many efforts are present in the knowledge representation literature, logics are always used to build these links. But appropriate reflections about the use of logics can lead to recognise the risk of ambiguity of the representations, i.e. more than one interpretation of the same represented object are possible. This ambiguity would make the represented knowledge not appropriate for the product variety design. In this work, we propose a framework for the knowledge representation based on the anti-logicism. Since the samples of anti-logicist systems (e.g. multi-agents, robots) have shown an intelligent behaviour without a representation based on logics, we use the principles the anti-logicism to propose our knowledge representation framework. A knowledge representation framework that allows to connect the customer requirements to the manufacturing process parameters is proposed. The core feature of the models based on this framework is the non-ambiguity. Indeed, each piece of knowledge that composes the model can be interpreted in one unique way. This feature allows the perfect collaboration between customer, product engineers and process engineering during the variety design stage. Once the pieces of knowledge coming from different domains are integrated in one model, the framework explains how to generate alternatives of product-process variety by starting from a given customer set. Finally a criterion to compare the different generated alternatives of product-process variety is proposed. A method to instantiate the framework on a 3D CAD has been developed. Moreover, a prototype that uses the knowledge model along with a mathematical solver to propose the best variety has been developed. The impact of the framework on the selection process and on the design process of a customisable product (i.e. water coil) is tested. The test of the instantiation and the prototype allows to show the advantages and the limit of the proposals

Si le problème d'équilibrage lors de la conception de lignes d'assemblage est largement étudié dans la littérature sous le nom d’ALBP (Assembly Line Balancing Problems), peu de travaux concernent leur rééquilibrage dans un horizon court terme et en-ligne. Les travaux présentés dans ce mémoire portent donc sur le rééquilibrage dynamique des lignes d’assemblage en réaction aux événements court terme perturbants la production. L’objectif étant de changer l’allocation des taches sur les postes de travail afin de lisser la charge induite par la perturbation. Le délai court sans arrêt de production étant plus important que l'optimalité de la solution, le temps de résolution rapide des méthodes de résolution approchées nous a intéressé. Deux approches ont été étudiées pour leur simplicité et leur nouveauté dans le domaine du ALBP : la méthode ILS (Iterated Local Search) et la recherche d’atteignabilité sur un réseau d’automates communicants. Cela nous a montré qu'elles peuvent répondre au besoin de réactivité imposé par notre problème mais qu’elles sont difficilement adaptables lorsque les leviers d’action pour rééquilibrer la ligne sont modifiés. Notre proposition pour répondre à ce besoin d’adaptabilité est une méthodologie de modélisation et de résolution des problèmes de rééquilibrage des lignes d’assemblage s’appuyant sur un réseau d’automates communicants et une recherche d’atteignabilité sur celui-ci. Pour assurer la généricité, la méthodologie est décomposée en deux niveaux d’abstraction : l'étude de la classe du problème ALBP considéré et al résolution du problème spécifique. Les travaux ont été validés sur des exemples industriels issus de la société Trane. / Assembly lines are flow-oriented production systems. They are still typical in industrial production systems despite the evolution from mass-production to more personalized and fluctuating production. In order to meet customer demand (quantity, time, etc.) and to reduce manufacturing costs, the lines must be well balanced. In other words, the products need to move from one workstation to another with the same pace, usually called takt time. This assembly line design problem is widely studied in the literature under the name of ALBP (Assembly Line Balancing Problems). Nonetheless, few studies concern the on-line reconfiguration and in particular, the dynamic rebalancing. The work presented in this thesis focuses on the dynamic rebalancing of assembly lines in response to short-term events disturbing production. Two approaches have been studied for their simplicity, speed of implementation and innovation in the field of ALBP: the ILS approach (Iterated Local Search) and the reachability analysis approach based on a network of communicating automata. This study showed that both approaches can address the need for a quick resolution required by dynamic rebalancing problem but lacked for adaptation when model constraints or objectives are changed. A methodological approach for assembly line balancing problems modeling and resolution is proposed to bridge the gap of adaptability. To ensure the genericity of obtained models., the methodology is composed of two levels of abstraction: a study of the class of the considered problem and a focus on the specific problem to solve. Studies have been validated on industrial examples from Trane factories.

Dans cette thèse, nous développons certaines techniques avancées d'apprentissage automatique dans le cadre de l'apprentissage en ligne et de l'apprentissage par renforcement (« reinforcement learning » en anglais -- RL). L'épine dorsale de nos approches est la programmation DC (Difference of Convex functions) et DCA (DC Algorithm), et leur version en ligne, qui sont reconnues comme de outils puissants d'optimisation non convexe, non différentiable. Cette thèse se compose de deux parties : la première partie étudie certaines techniques d'apprentissage automatique en mode en ligne et la deuxième partie concerne le RL en mode batch et mode en ligne. La première partie comprend deux chapitres correspondant à la classification en ligne (chapitre 2) et la prédiction avec des conseils d'experts (chapitre 3). Ces deux chapitres mentionnent une approche unifiée d'approximation DC pour différents problèmes d'optimisation en ligne dont les fonctions objectives sont des fonctions de perte 0-1. Nous étudions comment développer des algorithmes DCA en ligne efficaces en termes d'aspects théoriques et computationnels. La deuxième partie se compose de quatre chapitres (chapitres 4, 5, 6, 7). Après une brève introduction du RL et ses travaux connexes au chapitre 4, le chapitre 5 vise à fournir des techniques efficaces du RL en mode batch basées sur la programmation DC et DCA. Nous considérons quatre différentes formulations d'optimisation DC en RL pour lesquelles des algorithmes correspondants basés sur DCA sont développés. Nous traitons les problèmes clés de DCA et montrons l'efficacité de ces algorithmes au moyen de diverses expériences. En poursuivant cette étude, au chapitre 6, nous développons les techniques du RL basées sur DCA en mode en ligne et proposons leurs versions alternatives. Comme application, nous abordons le problème du plus court chemin stochastique (« stochastic shortest path » en anglais -- SSP) au chapitre 7. Nous étudions une classe particulière de problèmes de SSP qui peut être reformulée comme une formulation de minimisation de cardinalité et une formulation du RL. La première formulation implique la norme zéro et les variables binaires. Nous proposons un algorithme basé sur DCA en exploitant une approche d'approximation DC de la norme zéro et une technique de pénalité exacte pour les variables binaires. Pour la deuxième formulation, nous utilisons un algorithme batch RL basé sur DCA. Tous les algorithmes proposés sont testés sur des réseaux routiers artificiels / In this dissertation, we develop some advanced machine learning techniques in the framework of online learning and reinforcement learning (RL). The backbones of our approaches are DC (Difference of Convex functions) programming and DCA (DC Algorithm), and their online version that are best known as powerful nonsmooth, nonconvex optimization tools. This dissertation is composed of two parts: the first part studies some online machine learning techniques and the second part concerns RL in both batch and online modes. The first part includes two chapters corresponding to online classification (Chapter 2) and prediction with expert advice (Chapter 3). These two chapters mention a unified DC approximation approach to different online learning algorithms where the observed objective functions are 0-1 loss functions. We thoroughly study how to develop efficient online DCA algorithms in terms of theoretical and computational aspects. The second part consists of four chapters (Chapters 4, 5, 6, 7). After a brief introduction of RL and its related works in Chapter 4, Chapter 5 aims to provide effective RL techniques in batch mode based on DC programming and DCA. In particular, we first consider four different DC optimization formulations for which corresponding attractive DCA-based algorithms are developed, then carefully address the key issues of DCA, and finally, show the computational efficiency of these algorithms through various experiments. Continuing this study, in Chapter 6 we develop DCA-based RL techniques in online mode and propose their alternating versions. As an application, we tackle the stochastic shortest path (SSP) problem in Chapter 7. Especially, a particular class of SSP problems can be reformulated in two directions as a cardinality minimization formulation and an RL formulation. Firstly, the cardinality formulation involves the zero-norm in objective and the binary variables. We propose a DCA-based algorithm by exploiting a DC approximation approach for the zero-norm and an exact penalty technique for the binary variables. Secondly, we make use of the aforementioned DCA-based batch RL algorithm. All proposed algorithms are tested on some artificial road networks

No description available.

Dans cette thèse, nous utilisons des outils de simulation moléculaire pour caractériser les propriétés thermodynamiques de fluides confinés dans des matrices solides nanométriques. Alors qu'à l’échelle macroscopique, les énergies libres de fluides au contact de solides sont décrites par des pressions et des tensions de surface qui sont respectivement des énergies libres volumiques et surfaciques, à l’échelle moléculaire plusieurs paramètres additionnels doivent être considérés. Parmi eux, l'énergie libre de la ligne triple séparant trois phases, la tension de ligne. Les valeurs de la tension de ligne ainsi que les méthodologies permettant de la mesurer sont débattues.Les outils de simulation moléculaire permettent d'étudier théoriquement la thermodynamique des surfaces et des lignes. Plusieurs méthodologies statistiques peuvent être mises en œuvre pour extraire les tensions de surface et de ligne à partir d’une trajectoire moléculaire simulée. Nous nous intéressons en particulier à la méthodologie mécanique, qui consiste à mesurer les contraintes relatives à l’étalement quasi-statique d’un fluide sur un solide.Dans une première partie, nous étudions les expressions microscopiques des contraintes de mouillage à une interface solide-fluide plane. Dans le cas d’un solide latéralement homogène, l'application du théorème du viriel à un film liquide infini sans considération de la région séparant les surfaces mouillées et sèches permet de mesurer les forces relatives à l'extension du film sur un solide sec. Lorsque des hétérogénéités sont présentes à la surface du solide, cette méthodologie néglige des forces concentrées dans la région de la ligne triple. La comparaison de différentes méthodologies de mesure des tensions de surface indique que les termes ainsi négligés sont potentiellement importants dans le cas d'une forte rugosité.Dans une deuxième partie, nous nous concentrons sur des solides sans hétérogénéité tangentielle. Nous développons une méthodologie de mesure de l’énergie libre d’une interface fluide-fluide confinée et de sa tension de ligne qui s’appuie sur la considération des différentes contraintes fluides. Nous simulons des fluides de Van der Waals et de l’eau en équilibre liquide-vapeur, confinés dans des solides de différentes natures. Nous montrons que le concept de tension de ligne est robuste jusqu’à des confinements de quelques diamètres moléculaires. Les valeurs de tension de ligne mesurées sont cohérentes avec différentes approches théoriques, résolvant certains résultats paradoxaux de la littérature.Dans une troisième partie, nous appliquons la méthodologie mécanique à l’étude d’un mélange liquide-gaz confiné. Nous simulons des solvants et des solutés de Van der Waals ainsi que de l’eau avec du dioxyde de carbone. Différentes adsorptions sont observées, relatives aux surfaces mais également à la ligne triple. L’énergie libre de l’interface confinée s’en trouve fortement impactée. L'effet de l’adsorption sur la tension de ligne peut être modélisé par un équivalent linéique de l’équation d’adsorption de Gibbs surfacique. / In this thesis, we use molecular simulation tools to characterize the thermodynamic properties of fluids confined in nanometric solids. While at the macroscopic scale, the free energy of fluids in contact with a solid is described by pressures and surface tensions, respectively free energies per unit volume and per unit area, at the molecular scale, additional parameters are needed. One of them is the free energy per unit length of the triple line, the line tension. Its values and the methodologies used to measure it are controversial.The thermodynamics of interfaces and lines can be theoretically studied with molecular simulation tools. To extract the surface and line tensions from a simulated molecular trajectory, various statistical methodologies are available. In particular, we here use the mechanical methodology, which consists in measuring the stresses related to the quasistatic spreading of a fluid on a solid.In the first part, we study the microscopic expression of wetting stresses at a planar solid-fuid interface. When a laterally homogeneous solid is considered, the virial theorem applied to an infinite fluid film without consideration of the limit between wet and dry surfaces provides the forces related to the film extension on a dry solid. In the case of a laterally heterogeneous solid, this methodology neglects forces that are concentrated at the triple line. By comparing the surface tensions measured with different methodologies, we show that the neglected terms may induce important errors in the case of rough surfaces.In the second part, we focus on laterally homogeneous solids. We develop a methodology to measure the free energy and the line tension of a confined fluid-fluid interface using fluid mechanical stresses. We simulate Van der Waals fluids and water in liquid-vapor equilibrium confined in different solids. The concept of line tension appears robust down to confinements of a few molecular diameters, and its value consistent with various theoretical approaches, thus solving paradoxical results from the literature.In the last part, we apply the mechanical methodology to study the equilibrium of two fluid species in confinement, one liquid and the other gaseous. We simulate Van der Waals solvents and solutes, and water with carbon dioxide. Various adsorptions at the surfaces and the triple line are observed, strongly impacting the free energy of the confined liquid-gas interface. Finally the adsorption-induced variation of the line tension can be modelled by a unidimensional equivalent of the Gibbs isotherm.

Dans cette thèse, l'interaction entre les grains colloïdaux avec une ligne de disclinaison dans un cristal liquide nématique est explorée. Deux types de colloïdes ont été utilisés; sphérique (billes de silice) et allongé (nanotubes de carbone). En plus, différents types d'ancrage sur leur surface sont obtenus; planaire, homéotrope, et Janus (moitié planaire - moitié homéotrope). Ces paramètres ont été modifiés dans le but d'examiner et d'évaluer la force nématique agissant entre les grains colloïdaux et la ligne de disclinaison, qui est le résultat de l'interaction élastique entre les deux. Cette force est de l'ordre du pico-Newton et capable d'attirer et de fixer les colloïdes dispersés dans le cristal liquide nématique sur la ligne de disclinaison. Une fois que les colloïdes sont fixés sur la ligne de disclinaison, ils peuvent être collés ensemble par électropolymérisation de pyrrole. Ce qui donne lieu à un nanofil conducteur en 3 dimensions, qui est auto-assemblé et auto-connecté à des électrodes prédéfinies à l'intérieur du cristal liquide nématique. / Throughout this thesis, the interaction between the colloidal grains with a disclination line in a nematic liquid crystal is explored. Two types of colloids were used; spherical (silica beads) and elongated (carbon nanotubes). In addition different types of anchoring conditions on their surface is obtained; planar, homeotropic, and Janus (half planar – half homeotropic). These parameters were varied in the aim to examine and evaluate the nematic force acting between the colloidal grains and the disclination line, which is a result of the elastic interaction between the two respectively. This force is in the order of pico-newton, and capable of attracting and fixing the dispersed colloids, in the nematic liquid crystal, on the disclination line. Once the colloids are fixed on the disclination line, they can be glued together by means of electropolymerization of pyrrole. This gives rise to a 3 dimensional conductive nanowires, which are auto-assembled, and auto-connected to predesigned electrodes inside the nematic liquid crystal.

La connaissance implique une prédisposition à la connaissance, c’est-à-dire la possibilité de la relation entre un sujet (connaissant) et un objet (connaissable). D’un autre côté, il y a un état de fait, qui est la connaissance qui a lieu, de fait : la connaissance courante, ordinaire, toujours incomplète, à laquelle l’homme se trouve incessamment avoir accès ou être en train d’avoir accès. La connaissance véritable – pleine et entière – se trouve située à l’extérieur de ce domaine cognitif ordinaire ; extériorité qui implique une indisposition présente à y avoir accès. La connaissance mathématique est du premier ordre – et ce, éminemment, autrement dit, à la fois, en tant que meilleure connaissance possible et en tant que connaissance révélant, le mieux, au travers de son propre inachèvement, l’inachèvement de toute connaissance accessible (dont elle est constitutive ou auxiliaire). Du second ordre, est la connaissance eidétique (connaissance des Formes – eidê, ideai – autrement appelées Idées), qui est la connaissance du réellement réel (ontôs on) (dont l’objet, en sa saisie, ne peut que signer la réelle réalité de la connaissance elle-même). De son côté, la connaissance mathématique induit, en son inachèvement, la connaissance de son principe et élément, qu’est l’unité véritable (c’est-à-dire unique, indivisible et indifférenciée, et donc paradoxalement inconnaissable, en quoi, elle induit, elle-même, l’ordre de la connaissance véritable, qu’est l’ordre eidétique), unité censée trouver, dans l’ordre géométrique, son expression, en tant que mesure et élément communs à tout le mesurable (l’étendu) et, du même coup, à tout le dénombrable ; expression géométrique qui ne manque pas d’être problématique (aporétique), la grandeur demeurant, dans l’absolu, indéfinie, et toute grandeur étant divisible à l’infini, en grandeurs plus petites. Ainsi, se trouve attesté le fait que la disposition cognitive présente (ordinaire) est inéluctablement en deçà d’être disposition à la connaissance véritable, en ce que celle-ci devrait être notamment connaissance du principe, principe que nous pensons trouver désigné, chez Platon, sous l’expression « principe de la ligne », principe dynamique et actif, proprement non mathématique, toujours antérieur à quelque détermination (grandeur) – et, du même coup, à quelque dénombrement – que ce soit. / The knowledge implies a predisposition to the knowledge, that is the possibility of the relation between a (knowing) subject and a (knowable) object. On the other hand, there is an established fact, which is the knowledge which has de facto place : the common, ordinary, always incomplete knowledge, to which the man is continuously to have access or to be having access. The real knowledge – full and whole – is situated outside of this ordinary cognitive domain ; exteriority which implies a present indisposition to have access there. The mathematical knowledge is of the first order – and it is true eminently, in other words, at the same time, as better possible knowledge and as knowledge revealing, best, through its own incompletion, the incompletion of any accessible knowledge (whose it is constitutive or auxiliary). Of the second order, is the eidetic knowledge (knowledge of the Forms – eidê, ideai – otherwise called Ideas), which is the knowledge of the really real (ontôs on) (whose the object, in its grasp, can only sign the real reality of the knowledge itself). From her part, the mathematical knowledge leads, in its incompletion, the knowledge of its principle and element, that is the real unit (that is unique, inseparable and undifferentiated, and thus paradoxically unknowable, in what, it leads, itself, the order of the real knowledge, that is the eidetic order), unit supposed to find, in the geometrical order, its expression, as measure and element common to all the measurable (the extent) and, at the same time, to all the countable ; expression which does not miss to be problematic (aporetic), the size remaining, theoretically, indefinite, and any size being divisible in the infinity, in smaller sizes. So, is attested the fact that the present (ordinary) cognitive disposition is inevitably to be disposition to the real knowledge, in the fact that this one should be in particular knowledge of the principle, the principle which we think of finding indicated, at Plato, under the expression “principle of the line”, dynamic and active, specifically not mathematical principle, always previous to any determination (size) – and, at the same time, to any enumeration – whatsoever.

Ce travail consiste en une édition, une traduction française et un commentaire du traité pseudo-aristotélicien Περὶ ἀτόμων γραμμῶν. L'édition est faite à partir de la recension effectuée par D. Harlfinger en 1971 de tous les manuscrits connus contenant ce traité. Dans l'édition, le plus souvent, la lecture des manuscrits a été préférée aux éventuelles corrections des éditeurs et commentateurs. La traduction se veut la plus proche possible du texte grec nonobstant son caractère très elliptique et, parfois, syntaxiquement fautif. Le commentaire s'attache en premier lieu à contextualiser ce texte (hypothèses de datation à défaut de pouvoir l'attribuer indiscutablement à tel ou tel auteur) et à déterminer les liens qu'il y a entre lui et, d'une part, les autres textes du corpus aristotélicien et, d'autre part, les traités philosophiques qu'il réfute. En outre, le commentaire permet de justifier les choix éditoriaux et de traduction en comparant la leçon retenue aux variantes existantes et aux corrections apportées par les éditeurs et commentateurs successifs du traité. L'objectif du Περὶ ἀτόμων γραμμῶν est de démontrer l'impossible existence de lignes indivisibles. Il prend place dans une réfutation générale de l'atomisme dans l'école aristotélicienne. Aristote avait réfuté l'existence des atomes dans le domaine physique, y opposant une théorie continuiste, l'auteur de ce traité reprend ce problème en l'appliquant aux objets géométriques. Il démontre l'impossibilité qu'une ligne soit indivisible ou composée d'indivisibles, puis, après avoir défini le point, l’impossibilité qu'une ligne en soit composée. Enfin, l'auteur établit une distinction entre limite et articulation. / This works aims to propose an edition, a translation into French and a commentary of the pseudo-aristotelian treatise Περὶ ἀτόμων γραμμῶν. The edition is based on D. Harlfinger's 1971 manuscripts review known to bear the treatise. Most of the time, in the edition the readings of the manuscripts were favoured to the editors' and commentators' emendations. The translation is as close as possible to the Greek text despite its very elliptical wording and its occasional defective syntax. Initialy, the commentary tries to set the background to this text (dating hypothesis in spite of attributing it to a precise and definite author) and to define the links which exist between the text and, on the one hand, the other Aristotelian treatises and, on the other hand, the philosophical works that are refuted. The commentary then helps to justify the editorial choices and translations in comparison to existing variants and corrections suggested by previous editors and commentators.The aim of the Περὶ ἀτόμων γραμμῶν is to prove the impossibility of indivisible lines. It belongs to a more general confutation of atomism in the Aristotelian school. Aristotle previously refuted the existence of atoms in the physical field, setting up a theory of continuity. The author of this treatise takes up the issue confronting it to geometrical objects. He proves impossible the indivisibility of a line or the fact that a line may be composed of indivisible elements. After having defined the point, he proves that a line can neither be composed of points. To conclude, the author draws the distinction between a limit and a joint.

Cette thèse s'intéresse aux architectures contenant des FPGAs reconfigurables dynamiquement et partiellement. Dans ces architectures, la complexité et la difficulté de portage des applications sont principalement dues aux connections étroites entre la gestion de la reconfiguration et le calcul lui-même. Nous proposons 1) un nouveau niveau d'abstraction, appelé gestionnaire de composants matériels (HCM) et 2) un mécanisme de communication scalable (SCM), qui permettent une séparation claire entre l'allocation d'une fonction matérielle et la procédure de reconfiguration. Cela réduit l'impact de la gestion de la reconfiguration dynamique sur le code de l'application, ce qui simplifie grandement l'utilisation des plateformes FPGA. Les application utilisant le HCM et le SCM peuvent aussi être portées de manière transparentes à des systèmes multi-FPGA et/ou multi-utilisateurs. L'implémentation de cette couche HCM et du mécanisme SCM sur des plateformes réalistes de prototypage virtuel démontre leur capacité à faciliter la gestion du FPGA tout en préservant les performances d'une gestion manuelle, et en garantissant la protection des fonctions matérielles. L'implémentation du HCM et du mécanisme SCM ainsi que leur environnement de simulation sont open-source dans l'espoir d'une réutilisation par la communauté. / This thesis shows that in FPGA-based dynamic reconfigurable architectures, the complexity and low portability of application developments are mainly due to the tight connections between reconfiguration management and computation. By proposing 1) a new abstraction layer, called Hardware Component Manager (HCM) and 2) a Scalable Communication Mechanism (SCM), we clearly separate the allocation of a hardware function from the control of a reconfiguration procedure. This reduces the dynamic reconfiguration management impact on the application code, which greatly simplifies the use of FPGA platforms. Applications using the HCM and the SCM can also be transparently ported to multi-user and/or multi-FPGA systems. The implementation of this HCM layer and the SCM mechanism on realistic simulation platforms demonstrates their ability to ease the management of FPGA flexibility while preserving performance and ensuring hardware function protection. The HCM and SCM implementations and their simulation environment are open-source in the hope of reuse by the community.

Cette thèse se propose de contribuer à l’avancement des travaux en marketing sur le comportement d’achat et de report sur Internet. Dans ce travail, nous avons proposé une nouvelle vision du concept de report d’achat et de celui de la procrastination de l’achat. Après une étude qualitative et une revue de la littérature, nous avons identifié plusieurs causes potentielles du report de l’achat en ligne que nous avons classé en deux catégories, selon le type de report qu’elles induisent : Les causes du report subi et les causes du report choisi de l’achat en ligne. Nous avons ensuite testé l’effet de ces causes sur le report et sur sa durée et ce aussi bien en nombre de visites qu’en nombre de jours. A cet effet, deux modélisations ont été proposées. La première modélisation, qui concerne le report, a été testée au moyen d’une régression logistique binaire mettant en jeu sept déterminants du report. La deuxième modélisation, qui concerne la durée du report, a été testée au moyen de deux systèmes d’équations structurelles, le modèle global et le modèle réduit. Dans ce qui suit, nous présentons les apports théoriques et managériaux de la thèse, ainsi que les limites et les voies de recherches futures. 1. Apports de la recherche Cette recherche présente plusieurs contributions tant au niveau théorique que managérial. Ces apports sont développés ci-dessous. 1.1. Apports au niveau théoriqueCette recherche a permis de clarifier les ambiguïtés de la littérature autour des concepts de report et de procrastination. Nous avons proposé une nouvelle approche de ces deux concepts et mis en valeur l’existence de deux types de report : le report subi et le report choisi de l’achat. Après une revue détaillée de la littérature, nous avons contribué à une meilleure identification des causes du report de l’achat en ligne via une étude qualitative dédiée. Nous avons mis en valeur l’existence des causes du report subi et nous avons souligné l’importance de leur prise en considération dans l’explication du report d’achat et de sa durée.Ensuite, nous avons montré l’importance de quatre causes du report de nature situationnelle : La non-urgence, l’incertitude du besoin, le risque de la réalisation immédiate et la complexité. L’effet positif des trois premières causes a été testé et vérifié aussi bien sur le report que sur sa durée. L’effet positif de la complexité a été vérifié uniquement sur la durée du report en nombre de visites. L’effet positif du trait de procrastination a également été testé. Son effet sur la décision du report n’a pas été vérifié, mais son effet sur la durée du report via le risque de la réalisation immédiate et la complexité a été vérifié. Nous avons, par ailleurs, montré que le trait de procrastination a un effet positif sur la perception du risque général, du risque de la réalisation immédiate, de la complexité de l’achat ainsi que sur l’attitude négative envers l’achat en ligne. Cette recherche a également montré que la modélisation du trait de procrastination en haut de la chaine de causalité conduisant au report d’achat en ligne procurait un ajustement acceptable aux données, spécialement dans le cas d’un modèle réduit. Par ailleurs, nous avons développé la première échelle du trait de procrastination de l’acheteur en ligne. Nous avons également développé l’échelle de mesure du risque de la réalisation immédiate (Coût d’opportunité) et celle relative au degré de certitude du besoin. Enfin, nous avons adapté à partir d’échelles préexistantes les échelles d’attitude négative envers l’achat en ligne, du risque général de l’achat en ligne et de la complexité de l’achat en ligne. 1.2. Apports au niveau managérialLes résultats de cette recherche attirent tout d’abord l’attention des sites web marchands sur le fait qu’une majorité des répondants attribuent le report d’achat à des causes indépendantes de leurs volontés (report subi). / This thesis contributes to marketing works on the consumer delay in online purchases. In this work, we proposed a new vision of the concept of purchase delay and that of the procrastination of the purchase. After a qualitative study and a literature review, we identified several potential causes of the on-line purchase delay which we classified in two categories, according to the type of delay whom they lead: (1) The causes of the undergone online purchase delay and (2) the causes of the chosen online purchase delay. We then tested the effect of these causes on the online purchase delay and on its duration. For that purpose, two models were proposed. The first model, which concerns the “delay” was tested by means of a binary logistic regression involving seven determiners. The second model, which concerns the duration of the delay, was tested by means of two systems of structural equations. In what follows, we present the theoretical and manager contributions of the thesis, as well as the limits and the ways of futures researches. 1) Contributions of the researchThis research presents several theoretical and manager contributions. These contributions are developed below. a) Theoretical contributionsThis research allowed to clarify the ambiguities of the literature around the concepts of “delay” and “procrastination”. We proposed a new approach of these two concepts and emphasized the existence of two types of “delay” : “The undergone delay” and “the chosen delay”.After a literature review, we contributed to a better identification of the causes of the on-line purchase delay via a dedicated qualitative study. We emphasized the existence of the causes of the undergone delay and we underlined the importance of their taking into consideration in the explanation of the purchase delay and of its duration. Then, we showed the importance of four situational causes of the delay : The non-urgency, the uncertainty of the need, the risk of the immediate realization and the complexity. The positive effect of the first three causes was tested and verified as well on the “delay” as on its duration. The positive effect of the complexity was only verified on the duration of delay in number of visits. The positive effect of the online buyer trait procrastination was also tested. Its effect on the delay decision was not verified, but its effect on the delay duration via the risk of the immediate realization and the complexity was verified. We showed, besides, that the trait procrastination has a positive effect on the perception of the general risk, the risk of the immediate realization, the complexity of the purchase as well as on the negative attitude to the on-line purchase. This research also showed that the modelling of the online buyer trait procrastination at the top of the causality chain leading to on-line purchase delay got an acceptable adjustment to the data, specially in the case of the reduced model.Besides, we developed the first scale of the online buyer trait procrastination. We also developed a scale of the immediate purchase realization risk (Opportunity cost) and a third scale relative to the purchase need certainty degree . Finally, we adapted from pre-existent scales the scales of on-line purchase negative attitude, the on-line purchase general risk and the on-line purchase complexity. b) Managerial contributions The results of this search research draw first of all the attention of retail websites on the fact that a majority of online buyers the referees attribute their online purchase delay to causes independent from their wills (undergone delay ). Among these causes, a good part is presented by the online buyers as resulting from a failure of the site (persistent technical breakdowns, unavailability of the product, refusal of the credit card, etc.).