Dans ce travail, nous avons décrit mathématiquement les tissus double et triple couches en s’appuyant sur un ensemble des matrices binaires et des équations mathématiques et développé des modules mathématiques programmables, pour générer : 1- Un double tissu lié par chaînes de liage supplémentaire ; 2- Un triple tissu lié par les chaînes de la couche intermédiaires. Ces deux modules mathématiques ont a été vérifiés par un logiciel développé spécifiquement à l’aide de « Visual Basic ». Les deux tissus sont générés automatiquement avec tous les points de liage éventuels. Puis nous avons développé un troisième module mathématique programmé par « Visual Basic » pour classer les points de liage générés. Ce classement se fonde sur la définition de deux termes : l’armure de liage et le taux de liage. Ce module a été vérifié sur un tissu triple couches lié par les chaînes de la couche intermédiaire, dont tous les armures de liage ont été générésautomatiquement par le logiciel développé. Par ailleurs, nous avons développé une procédure pour regrouper les armures de liage suivant la répartition des points de liage dans l’armure du tissu. Pour ce but, nous avons appliqué deux méthodes : la méthode du moment d’inertie des points de liage autour du centre du tissu, tandis que la deuxième méthode est la méthode du plus proche voisin où nous avons calculé l’indice de dispersion des points de liage dans l’armure. L’un des objectifs de ce travail est de comprendre l’action des paramètres de l’étoffe (distribution des points de liage ou armure de liage, armures de différentes couches et le duitage) sur les propriétés mécaniques et physiques d’un tissu triple couche à double liage. Pour cela, nous avons choisi trois tissus, dont l’armure de la couche intermédiaire est variée entre toile, sergé, et cannelé. À l’aide du logiciel créé, nous avons généré les différentes possibilités de liage (armures de liage). Nous avons fixé la densité de liage à (25%), puis nous avons choisi 3 armures de liage ayant une répartition différente. Trois duitages (16, 20, et 24 duites/cm) ont été choisi pour réaliser les tissus. À l’aide de la méthode des plans d’expériences, nous avons limité le nombre de tissus à 9 tissus différents. 15 propriétés ont été évaluées à savoir : l'embuvage, le retrait, la masse surfacique, la perméabilité, la rigidité de cisaillement, la compression: (l'énergie de compression, la résilience, la compressibilité, l’épaisseur), la flexion: (la rigidité de flexion, le module d'Yong), la traction: (laforce de rupture, l'allongement maximal, l'énergie de rupture, le module d'Young). Les résultats des tests ont été analysés par analyse de variance et analyse en composantes principales (ACP) à l'aide du logiciel JMP, afin de calculer l’influence de chaque paramètre sur les propriétés physiques et mécaniques, et d'estimer les coefficients du modèle statistique qui nouspermet d’obtenir les propriétés théoriques des tissus que nous n’avons pas testé. Nous avons constaté que le liage est le paramètre qui a le moins d’influence sur les propriétés des tissus. / Ln this work, we described mathematically the double and triple layers fabrics based on a set of binary matrices and mathematical equations. Mathematical modules developed and programmed by Visual Basic to generate: 1- A double layers fabric stitched by additional warps ; 2- A triple layer fabric stitched by the intermediate layer warps. Both fabrics are automatically generated with all the stitches possible. Then we developed a third mathematical module, programmed by "Visual Basic" to classify all stitches generated. ln addition, we developed a procedure to regroup the stitching weaves according to the distribution of stitches in the weave. For this purpose, we applied two methods : the moment of inertia of stitches around the center of the fabric, and the method of the nearest neighbor. Then, using the developed softwares and the method of design of experiments, we studied the effect of the following parameters (distribution of stitches, the stitching weaves and the weft density) on the mechanical and physical properties of triple layers fabric. Finally, the test results were analyzed by using the JMP software to calculate the influence of each parameter on the physical and mechanical properties, and estimate the coefficients of the statistical model which allows us to obtain the theoretical properties of fabrics we have not tested, We found that the stitches distribution is the parameter that has the least influence on the properties of fabrics.

Dans un environnement économique à faible croissance et à forte concurrence, l'avance technologique est importante, mais très souvent ne suffit plus. Pour être compétitif, il convient aussi, de faire le bon produit, c'est-à dire le produit qui correspond aux réels besoins, attentes et caractéristiques des utilisateurs. Par conséquent, l'usage du produit devient une source d'innovation pour les entreprises industrielles. Pour intégrer l'usage d'un produit en conception, nous choisissons d'étudier les phases de convergence multidisciplinaire sur le couple produit/usage car ce sont des phases de collaboration forte entre les acteurs métiers tout au long du processus de conception. Les différentes disciplines, connaissances et pratiques impliquées dans les projets de conception, rendent le transfert des connaissances difficile entre les acteurs métiers durant ces phases. Face à cette problématique, nous nous intéressons plus particulièrement aux Objets Intermédiaires de Conception (OICs) (ex.prototype virtuel, maquette physique, etc.) comme moyen pour faciliter l'échange et la communication entre les acteurs métiers. Notre objectif est d'améliorer la collaboration entre les acteurs à travers l'étude des OICs et une meilleure compréhension des apports de ces objets. Dans nos travaux de thèse, nous indiquons l'intérêt de l'ajout d'interactions dédiées aux acteurs métier à l'OIC pour améliorer la qualité de la collaboration sur le couple produit/usage. Cela a été montré à travers le développement et la validation d'un outil d'annotation et sketching 2D (Virtusketches) en environnement virtuel immersif. Nos résultats montrent des différences significatives entre prototype virtuel (sur une plateforme de réalité virtuelle) et modèle CAO (sur un système CAO) concernant la qualité de collaboration et les objectifs des acteurs métier durant des revues de projets de conception. Nous proposons aussi une approche méthodologique DCDO (Démarche méthodologique de Choix et de Définition des OICs) pour le choix et la définition des OICs. L'une des originalités de cette approche réside dans le fait de considérer tous lesaspects liés à la définition de l'OIC dans le contexte de la convergence sur le couple produit/usage. Cette approche méthodologique a été implémentée et mise en pratique dans un module de revue de projet en environnement PLM(Product Lifecycle Management). / In our economic environment with low growth and high competition, technological advance is important, but often not enough. To be competitive, it is also necessary to propose a product which corresponds to the real needs, expectations and characteristics of users. Therefore, product use becomes a source of innovation by industrial companies. In order to integrate product use in design process, we choose to study the multidisciplinary convergence phases about the product and its related use because they are phases of strong collaboration between design actors. However, different disciplines, knowledge and practices involved in design projects, make the transfer of knowledge between design actors difficult. To this end, we are particularly interested in Intermediary Objects of Design (IOs) (ex. Virtual prototype, physical prototype, etc.) as a means to facilitate the exchange and communication between design actors. Our goal is to improve collaboration between design actors through the study of IOs, a better understanding of theirs contributions and the definition of a methodology that allows designactors to define these objects depending on their own needs and expectations. In this context, we indicate the interest of adding interactions dedicated to design actors through the IOs to improve the quality of collaboration. This has been shown through the developing and validating an annotation and 2D (Virtusketches) sketching tool in immersive virtual environment. Our results also show significant differences between a virtual prototype using (virtual reality platform) and CAD model (using CAD system) concerning the quality of collaboration and the realized objectives in design reviews. We also propose a methodological approach for the choice and the definition of IOs (DCDO). One of the originalities of this approach lies in the fact to consider all aspects related to the definition of the IOs in the context of convergence on the product/use couple. This methodological approach has been implemented and put into practice using an application to prepare project reviews in PLM (Product Lifecycle Management).environment.

La surface occupée par la mémoire et la circuiterie digitale dans une carte à puce est prépondérante, ce qui motive l'utilisation de technologies à forte densité, mais impliquant une tension d'alimentation Vdd en dessous du volt. Par ailleurs, les cartes à puces étant destinées à des applications nomades, leur consommation est limitée alors que les fonctionnalités demandées deviennent plus nombreuses, ce qui nécessite de diminuer la consommation de chaque fonction élémentaire. Ainsi, le concepteur est amené à dimensionner des cellules analogiques fonctionnant sous spécifications nanowatt (faible tension d'alimentation - au plus 1 Volt - et faible consommation - quelques dizaines à quelques centaines de nano-ampères - ). Cette étude traite de l'élaboration d'une méthodologie de conception de circuits analogiques nanowatt, et de son application au domaine de la carte à puce. La méthodologie développée a été appliquée à des architectures autopolarisées et à polarisation fixée. Les circuits dimensionnés sous spécifications nanowatt, ont été simulés avec Spectre et les paramètres BSIM3v3 de la technologie CMOS 0.15µm de la société ATMEL. Les transistors qui ont été utilisés sont des transistors haute tension (HV oxyde épais). Les résultats de simulation se sont révélés cohérents avec les performances prédites par la méthodologie. Les mesures expérimentales ont confirmé l'aptitude de la méthodologie au dimensionnement de circuits sous spécifications nanowatt.

Cette these definit un modele de representation de connaissances adapte aux besoins des applications de CAO. Le modele propose, appele Shood, s'inspire de concepts issus des systemes de representation de connaissances et des langages orientes objet. Shood repond aux besoins de puissance de representation (aspects declaratifs), d'integration des outils de calcul (aspects proceduraux) et d'evolution des besoins (extensibilite) des applications de CAO. Dans Shood, la semantique des liens structurant la connaissance (heritage multiple, disjonction et instanciation multiple) est fondee sur des relations ensemblistes. Les attributs sont definis par des descripteurs qui peuvent etre enrichis. Les descripteurs de base permettent de typer les attributs (descripteur de type), de leur associer une methode de calcul automatique (descripteur d'inferences) et de restreindre leurs valeurs de fac,on procedurale (descripteur de contraintes). Les methodes Shood sont basees sur le concept de fonction generique. Un mecanisme de classification permet de choisir avec precision la methode la plus adaptee en fonction des valeurs des arguments en entree. Les methodes peuvent etre reutilisees grace aux mecanismes de specialisation declarative et procedurale. L'extension du modele est possible grace a sa definition reflexive: les concepts de Shood sont definis en termes d'eux-memes grace a un niveau meta.

Nous nous intéressons au problème du dimensionnement et du placement optimal de locaux sur une surface donnée (on trouve aussi allocation spatiale), de type logements familiaux, bureaux ou équipements collectifs... Nous présentons une nouvelle approche de logiciel de CAO en architecture qui part de l'expression du besoin fonctionnel en termes de contraintes sur les locaux. La grande originalité de ce travail est de proposer un modèle de placement a trois niveaux : fonctionnel, topologique et numérique. Dans une seconde étape, le logiciel ARCHiPLAN que nous avons développé, énumère toutes les solutions topologiquement différentes, sans présumer pour autant de dimensions finales précises. Ces solutions correspondent à l'étape d'esquisses qu'effectue un architecte en phase de conception préliminaire a partir du cahier des charges fonctionnel (programme). L'architecte peut ensuite « naviguer » dans cet espace de solutions topologiques, en faible nombre, et en choisir certaines pour une étude plus poussée. Pour chaque solution topologique, la meilleure solution dimensionnelle est trouvée au regard de critères de coûts, de surfaces utiles, de trame ou autres. Cette approche, qui combine la programmation orientée objet et les techniques de programmation par contraintes, a l'avantage d'éviter le problème récurrent de l'explosion combinatoire grâce a ce modèle a trois niveaux, tout en se rapprochant de la pratique du concepteur du domaine par une méthode fonctionnelle et progressive. Le logiciel ARCHiPLAN a prouve sa robustesse, sa pertinence et sa souplesse en conception ainsi que sa rapidite sur de nombreux exemples.

Cette thèse présente les résultats du projet de recherche Coopeer sur le thème de la conception collaborative. Ce travail a permis de mettre en place une architecture d'égal à égal pour la conception assistée par ordinateur (CAO) associée à une méthode optimiste de résolution automatique des conflits pour assurer la cohérence des données répliquées. Cette méthode s'appuie sur une estampille à double identification et sur une gestion de la simultanéité basée sur des priorités. La gestion du groupe de travail et la tolérance aux pannes y sont également adressées. La méthode est applicable à la CAO, mais aussi à tout type d'application collaborative complexe.

La synthèse logique joue un rôle fondamental dans les compilateurs de silicium. Alors que l'état de l'art de la synthèse deux couches est très avance, celui de la synthèse multi-couches reste encore un sujet très ouvert. L'objet de cette thèse est de présenter des méthodes originales de synthèse de contrôleurs et de systèmes combinatoires pour une implémentation multi-couches a base de cellules de bibliothèque. Le premier chapitre définit le concept de compilation de silicium et introduit l'une de ses composantes, la synthèse logique. L'importance du marche de la synthèse logique y est clairement définie ainsi que ses implications dans la conception actuelle de circuits intégrés. Le deuxième chapitre concerne la synthèse de contrôleurs. Le probleme du codage des machines d'états fini est traite en détail et une methode basée sur la théorie d'immersion de cubes intersectant dans un hypercube booléen est proposée. Le troisième chapitre est consacre a la synthèse de circuits combinatoires et une methode d'optimisation temporelle de tels dispositifs est développée. Ces travaux ont été implémentés dans un environnement industriel

Ce travail de thèse propose une méthodologie et des outils pour un environnement d'aide à la conception. L'objectif est le support des outils et méthodes du concepteur durant le processus de conception en considérant la complexité des produits à concevoir et l'imprévisibilité de ce processus. Nous utilisons pour cela le concept de composant logiciels métiers à partir duquel il est possible, par exemple, d'intégrer des logiciels de simulation existants sans programmation, puis de les utiliser dans des services tels que l'optimisation. L'environnement dispose également d'un service de composition visuelle et récursive pour agréger les modèles, ainsi que pour définir et mettre en oeuvre le séquencement du processus de conception. Nous détaillons des applications de l'environnement pour dimensionner un transformateur de tensions triphasées, concevoir un micro-actionneur magnétique ou assister la conception collaborative d'un contacteur électromécanique.

Comme la complexité des circuits VLSI croit, la tache de vérification des masques devient de plus en plus longue. L'utilisation des descriptions hiérarchiques permet le développement de méthodes d'analyse hiérarchique plus efficaces. Cette thèse explore une méthode de recherche géométrique par hiérarchie de Quadtrees et l'utilisation hiérarchique de l'algorithme d'équivalence union-find pour la recherche et la mise à jour des équivalences électriques. Des algorithmes hiérarchiques et géométriques utilisables pour l'édition, la vérification géométrique et topologique (connectique) de conceptions VLSI sont présentés. L'intérêt de telles méthodes dans la vérification et le compactage de ces conceptions est aussi aborde. Des quadtrees adaptatifs particuliers (mixed-quadtrees) ont été conçus et testés pour optimiser les outils conventionnels d'extraction et de vérification de la description géométrique des masques de conceptions non structurées et pour permettre une édition rapide de conceptions structurées. Ce document présente les arguments qui ont contribue à la conception d'un tel sous-systeme de recherche géométrique et topologique, le sous-système lui-même et certains algorithmes hiérarchiques. Les méthodes hiérarchiques, géométriques et topologiques ainsi explorées, sont applicables à un grand nombre de taches, comme l'extraction des conceptions, leur vérification, leur édition et leur compactage et sur des descriptions symboliques ou réelles. Ces méthodes permettent l'utilisation interactive d'un certain nombre d'algorithmes d'extraction, de vérification et d'adaptation des conceptions éditées à un ensemble de règles technologiques. Un extracteur et vérificateur géométrique et topologique de conceptions structurées est actuellement réalisé dans le but d'évaluer hiérarchiquement l'efficacité de tels algorithmes. Un aperçu des problèmes qui peuvent être résolus plus rapidement ou dans un mode interactif est également présenté

La physique de la lumière ainsi que les outils géométriques pour la Conception Assistée par Ordinateur sont à la base des logiciels de simulation des phénomènes lumineux pour la fabrication des systèmes optiques. Ce n'est pas sans difficulté que les industriels conçoivent ces logiciels dont un des principaux handicaps est que les simulations sont très coûteuses en temps. L'objectif principal de ce travail est de rechercher et développer des algorithmes de calcul plus performants. Dans un premier temps, on décrit précisément le modèle du transport des photons dans ce contexte, composé de l'équation de Boltzmann accompagné de conditions de bord, et qui, dans le cas de milieux homogènes par morceaux, se ramène à l'équation de radiosité. Ensuite, on présente les outils géométriques utilisés dans le modeleur hybride CSG (Constructive Solid Geometry) et BRep (Boundary Representation) ainsi que les algorithmes de base nécessaires à la recherche d'intersections entre des demi-droites et des objets géométriques. Puis, un tour d'horizon des méthodes d'accélération des calculs en radiométrie par localisation spatiale est présenté. En tenant compte des contraintes industrielles, une telle méthode d'accélération est alors adaptée au contexte puis développée dans un environnement logiciel existant. Des expérimentations numériques montrent l'efficacité des nouvelles bibliothèques. Enfin, une étude théorique des complexités en temps et en mémoire liées aux méthodes de localisation spatiale, faisant intervenir les sommes de Minkowski d'ensembles géométriques, débouche sur une stratégie consistant à minimiser la complexité en temps pour choisir les paramètres de localisation.