Cette thèse se situe dans le cadre de la synthèse logique. Elle a pour objet la synthèse logique optimisée de circuits sur réseaux programmables à base de «tables de vérité» de type «Xilinx». Ces réseaux programmables ont été à l'origine du premier succès commercial des réseaux reprogrammables à faible granularité. Une première solution pratiquée industriellement a consisté à associer une bibliothèque équivalente de primitives logiques simples de type «cellule standard» à un réseau Xilinx. Une telle approche conduit à une très pauvre utilisation de la technologie cible car elle ne tire pas profit de la richesse de la cellule de base. Cette thèse s'intéresse, en conséquence, à des approches plus ciblées. Il s'agit de décomposer de façon optimisée les parties combinatoires en sous-fonctions «saturant» les possibilités des cellules élémentaires. Pour ceci, le traitement des fonctions booléennes sera effectué dès l'étape de factorisation en fonction du but final. Après un rappel de la factorisation «lexicographique», qui a comme fondement l'existence d'un ordonnancement des entrées, une méthode de décomposition en sous fonctions de k variables est proposée. Elle sert de base à des méthodes de décomposition technologique pour les séries Xilinx 3000 et Xilinx 4000. Deux alternatives à cette factorisation lexicographique sont proposées, une factorisation utilisant une représentation par diagramme de décision binaire (ROBDD) et une factorisation algébrique classique adaptée aux caractéristiques de la cible Xilinx. La dernière étape de synthèse concerne de façon plus fine le regroupement des sous-fonctions dans la cellule physique Xilinx et se préoccupe de l'optimisation des points de mémorisation, des buffers et des ressources d'horloge. Une évaluation sur un ensemble d'exemples internationaux et industriels démontre l'efficacité des méthodes proposées. Ce travail a fait l'objet d'un transfert technologique vers le logiciel industriel ASYL+

La méthode de conception logique de cellules MOS tient compte des problèmes d'implantation (diffusion, dépôt métallique (AL) et masquage) en technologies NMOS et CMOS dans l'ordonnancement optimise des variables. La forme arborescente série-parallèle est simplifiée par compactage des transistors. Étapes de minimisation. Application aux portes complexes NMOS et CMOS et aux macro-cellules les utilisant pour des fonctions logiques. Fonctions réalisées en logique de transfert se prêtant à l'implantation automatisée. Application à la conception de circuits complexes : circuit d'extraction de racine carrée et multiplicateur. Problèmes de synchronisation et temporisation.

.

Cette étude porte sur les différentes formalisations du sens linguistique dans le cadre de la théorie Sens-Texte (TST) ; elle s’intéresse notamment à la représentation sémantique, la représentation la plus importante dans la modélisation du sens d’énoncés et d’unités lexicales de la langue. Cette étude a trois objectifs : premièrement, décrire trois formalisations de la représentation sémantique existant dans la TST – les réseaux sémantiques, les définitions lexicographiques et les définitions de la BDéf (des définitions très formalisées) ; deuxièmement, identifier les disparités et les décalages entre les formalisations choisies ; troisièmement, proposer des modifications aux formalisations existantes pour réduire au maximum ces disparités. / This study explores the different formalisations of linguistic meaning as encountered in the Meaning-Text Theory (MST) framework. Its main interest is semantic representation, which is the most important representation in the modeling of the meaning of utterances and lexical units. This study has three objectives: first, describing three existing formalisations of semantic representation in the MST – semantic networks, lexicographical definitions, and BDéf definitions (definitions that are extremely formalized); second, identifying the discrepancies between these formalisations; finally, proposing modifications to these formalisations in order to reduce the disparities as much as possible.

L'hydrogène produit à partir de sources renouvelables et utilisé dans les piles à combustible pour diverses applications, tant mobiles que stationnaires, constitue un vecteur énergétique très prometteur, dans un contexte de développement durable. Les « feuilles de route » stratégiques, élaborées au niveau européen, national ou régional, consacrées aux potentialités énergétiques de l’hydrogène, ainsi que l’analyse des publications scientifiques ont cependant identifié le manque d'infrastructures, comme l'un des principaux obstacles au développement de l'économie « hydrogène ». Cette étude s’inscrit dans le cadre du développement d’une méthodologie de conception d'une chaîne logistique « hydrogène » (production, stockage et transport). La formulation, basée sur une procédure de programmation mathématique linéaire en variables mixtes, implique une approche multicritère concernant la minimisation du prix de revient de l’hydrogène, l’impact sur le réchauffement climatique et un indice de risque, en prenant en compte une échelle tant régionale que nationale. L’optimisation multi-objectif repose sur une stratégie Ɛ-contrainte développée à partir d’une méthode lexicographique menant à la construction de fronts de Pareto offrant un grand nombre de solutions. La procédure d’aide à la décision M-TOPSIS est ensuite utilisée pour choisir le meilleur compromis. Le modèle est appliqué à une étude de cas en Grande-Bretagne, issue de la littérature spécialisée, qui sert de référence pour comparer les approches mono- et multi-objectif. Ensuite, la modélisation et l'optimisation de la chaîne d'approvisionnement d'hydrogène pour la région Midi-Pyrénées ont été étudiées dans le cadre du projet «H2 vert carburant». Un problème mono/multi-période est traité selon des scénarios d'optimisation basés sur la stratégie Ɛ-contrainte développée à partir d’une méthode lexicographique. Le système d’information ArcGIS® est ensuite utilisé pour valider les solutions obtenues par optimisation multi-objectif. Cette technologie permet d'associer une période de temps aux configurations de la chaîne logistique hydrogène et d’analyser plus finement les résultats de la conception du réseau H2. L’extension au cas de la France répond à un double objectif : d'une part, tester la robustesse de la méthode à une échelle géographique différente et, d’autre part, examiner si les résultats obtenus au niveau régional sont cohérents avec ceux de l'échelle nationale. Dans cette étude de cas, l'outil spatial ArcGIS® est utilisé avant optimisation pour identifier les contraintes géographiques. Un scénario prenant en compte un cycle économique est également traité. Les optimisations mono et multi-objectif présentent des différences relatives au mode de déploiement de filière, centralisé ou décentralisé, et au type de technologie des unités production, ainsi qu’à leur taille. Les résultats confirment l'importance d'étudier différentes échelles spatiales. / Hydrogen produced from renewable sources and used in fuel cells both for mobile and stationary applications constitutes a very promising energy carrier in a context of sustainable development. Yet the strategic roadmaps that were currently published about the energy potentialities of hydrogen at European, national and regional level as well as the analysis of the scientific publications in this field have identified the lack of infrastructures as a major barrier to the development of a « hydrogen » economy. This study focuses on the development of a methodological framework for the design of a hydrogen supply chain (HSC) (production, storage and transportation). The formulation based on mixed integer linear programming involves a multi-criteria approach where three objectives have to be optimised simultaneously, i.e., cost, global warming potential and safety risk, either at national or regional scale. This problem is solved by implementing lexicographic and Ɛ-constraint methods. The solution consists of a Pareto front, corresponding to different design strategies in the associated variable space. Multiple choice decision making based on M-TOPSIS (Modified Technique for Order Preference by Similarity to Ideal Solution) analysis is then selected to find the best compromise. The mathematical model is applied to a case study reported in the literature survey and dedicated to Great Britain for validation purpose, comparing the results between mono- and multi-objective approaches. In the regional case, the modelling and optimisation of the HSC in the Midi-Pyrénées region was carried out in the framework of the project “H2 as a green fuel”. A mono/multi period problem is treated with different optimisation scenarios using Ɛ-constraint and lexicographic methods for the optimisation stage. The geographic information system (GIS) is introduced and allows organising, analysing and mapping spatial data. The optimisation of the HSC is then applied to the national case of France. The objective is twofold: on the one hand, to examine if the methodology is robust enough to tackle a different geographic scale and second to see if the regional approach is consistent with the national scale. In this case study, the ArcGIS® spatial tool is used before optimisation to identify the geographic items that are further used in the optimisation step. A scenario with an economic cycle is also considered. Mono- and multi-objective optimisations exhibit some differences concerning the degree of centralisation of the network and the selection of the production technology type and size. The obtained results confirm that different spatial and temporal scales are required to encompass the complexity of the problem.

Dans cette thèse nous étudions le groupe quantique d’automorphismes des graphes finis, introduit par Banica et Bichon. Dans un premier temps nous montrerons un théorème de structure du groupe quantique d’automorphismes du produit lexicographique de deux graphes finis réguliers, qui généralise un résultat classique de Sabidussi. Ce théorème donne une condition nécessaire et suffisante pour que ce groupe quantique s’exprime comme le produit en couronne libre des groupes quantiques d’automorphismes de ces deux graphes. Dans un deuxième temps, nous expliciterons certaines améliorations de résultats de Banica, Bichon et Chenevier permettant d’obtenir des critères de non symétrie quantique sur les graphes, à l’aide des outils développés par les auteurs susmentionnés.Enfin, pour poursuivre ces recherches, nous développerons une autre méthode utilisant la dualité de Tannaka-Krein et inspirée de l’étude des groupes quantiques compacts orthogonaux par Banica et Speicher. Celle-ci nous permettra, à l’aide d’une étude orbitale approfondie des graphes sommets-transitifs, d’énoncer une condition suffisante pour qu’un graphe ait des symétries quantiques ; condition qui a vocation à être aussi nécessaire mais ceci reste une conjecture à ce stade. / In this thesis we study the quantum automorphism group of finite graphs, introduces by Banica and Bichon. First we will prove a theorem about the structure of the quantum automorphism group of the lexicographic product of two finite regular graphs. It is a quantum generalization of a classical result of Sabidussi. This theorem gives a necessary and sufficient condition for this quantum group to be discribe as the free wreath product of the quantum automorphism groups of these two graphs. Then, we will give some improvement of Banica, Bichon and Chenevier results, to obtain a quantum non-symmetry criteria on graphs, using tools developped by the above authors. Finally, to continue this research, we will describe another method using Tannaka-Krein duality and inspired by the study of orthogonal compact groups by Banica and Speicher. This will enable us, with a thorough orbital study of vertex-transitive graphs, to state a sufficient condition for a graph to have quantum symmetries ; condition which is intended to be also necessary but this remains conjecture at this point.

La présente thèse a pour objet l’étude d’une partie du vocabulaire hobbesien, que nous définirons ici comme lexique de l’ "apparence". Par le terme d’apparence, que nous utilisons en tant que catégorie conceptuelle, nous nous référons à la problématique philosophique, typique des XVIe-XVIIe siècles, qui met en lumière une conscience nouvelle de la nature de la perception sensible. L’apparence montre, d’un côté, l’existence réelle et objective d’un monde en mesure de déterminer la sensibilité ; de l’autre, la conscience que nos représentations ne nous livrent pas un portrait fidèle du monde. La réflexion de Hobbes s’insère à l’intérieur de ce contexte: considérant la sensation comme le stade initial de la connaissance, dont dérive l’entière vie psychologique du sujet, le philosophe réduit nos représentations à des apparences qui n’ont aucune réalité en dehors de notre esprit. Cette conception détermine l’utilisation d’une terminologie particulière dont Hobbes se sert pour traiter le complexe thème de l’apparence des phénomènes. Notre travail se propose de reconstruire la réflexion hobbesienne sur une telle problématique en privilégiant une approche de type lexicographique, fondée sur la vérification des occurrences et concordances (publiées dans le vol. 2), mais aussi conceptuel, à travers les entrées répertoriées à cet effet. La méthodologie choisie est celle d’un examen des écrits de Hobbes mené dans un sens diachronique, en partant du principe qu’il s’agit là de la seule façon de vérifier la modulation des entrées dans leurs différents contextes (de la physiologie de la vision au rêve) tout en éclairant la pertinence par rapport à Hobbes du thème de phénoménisme. / This thesis aims at studying part of Hobbes’s vocabulary, that I define «lexicon of appearance». The word ‘appearance’, used as a conceptual category, refers to the philosophic problematic, greatly debated in the XVIth and XVIIth century, that highlights a new conscience of the nature of the sensitive perception. On one hand, the image appearance shows the real and objective existence of a world capable of defining sensitivity. On the other hand, it shows us that our representations do not always portray a faithful image of the world. Hobbes’s theory fits perfectly in this context: by considering sensitivity as the initial phase of our knowledge, by which our whole psychological life derives from, he reduces our representations into ‘appearances’ that only exist in our mind.This conception determines the use of a particular terminology that Hobbes uses to deal with the complex theme of the appearances of phenomena. This thesis aims at reconstructing Hobbes’s reflection by favouring a lexicographic approach, checking the material elements (occurrences and concordances, published in Vol. 2) aswell as the conceptual aspects of the entry words. The methodology chosen focuses on examining Hobbes’s lexicon in a diachronic fashion. I will assume that this is the only way to verify the words’ variations in the different contexts (from physiology of vision to dream) and highlight, at the same time, Hobbes’s relevance to ‘phenomenalism’.

Notre thèse relève du domaine de la lexicographie et plus précisément de la lexicographie contemporaine. Notre étude analyse les dictionnaires historiques comme objet de recherche. Quant à notre problématique de recherche, elle porte sur la constitution de la macrostructure et sur l’élaboration de la microstructure des dictionnaires historiques que sont le Dictionnaire Historique de la Langue Française (le RH), le Dictionnaire Historique de la Langue Anglaise (l’OED) et le Dictionnaire Historique de la Langue Arabe (le DHLA). Les deux premiers dictionnaires historiques sont déjà publiés, alors que le dernier est en cours de compilation.Notre étude comporte deux objectifs principaux. Tout d’abord, elle analyse les éléments de divergence et les éléments de convergence entre la macrostructure et la microstructure des deux dictionnaires historiques, que sont le RH et l’OED. Ensuite, elle examine ces éléments et détermine ceux qui sont applicables dans la constitution de la macrostructure et l’élaboration de la microstructure du DHLA. Pour ce faire, nous avons opté pour l’analyse d’un corpus issu principalement des dictionnaires - le RH et l’OED. Nous avons fait appel également à un corpus secondaire constitué à partir des dictionnaires français, anglais et arabe de langue générale.Notre étude a permis de confirmer que les trois dictionnaires historiques adoptent trois approches différentes dans la constitution de leur macrostructure. Le RH adopte une approche étymologique. Quant à l’OED, il utilise une approche lexicale. Enfin, le DHLA a opté pour une approche complexe. En revanche, ces trois approches sont mises en œuvre en appliquant trois critères, à savoir, tout d‘abord un critère diachronique, puis un critère orthographique et enfin un critère étymologique. En outre, notre étude a permis de confirmer également que la mise en ordre des entrées principales impacte directement la mise en ordre des entrées secondaires.Quant à la microstructure, les trois dictionnaires élaborent la définition de leurs entrées en adoptant relativement le même modèle. En dernière instance, il s’agit d’un modèle construit à partir de trois types d’informations : des informations d’ordre morphologique, des informations d’ordre sémantique et enfin des informations contextuelles. / Our thesis is part of the field of lexicography and more precisely of contemporary lexicography. Our study analyses historical dictionaries as a research object. As for the subject of the thesis, it concerns the constitution of the macrostructure and the development of the microstructure for historical dictionaries, which are: the French Historical Dictionary (RH), the English Historical Dictionary (OED) and the Arabic Historical Dictionary (DHLA). The first two are alread published while the third is in progress.Our study has two main goals. First of all it analyses the divergent and convergent elements between macrostructure and microstructure of both RH and OED historical dictionaries. Then it examines these elements and determines those which are applicable in the constitution of macrostructure and the development of DHLA microstructure. To do this, we have chosen the analysis of a corpus mainly from RH and OED dictionaries. We have also appealed to a secondary corpus constituted from general language dictionaries.Our study has affirmed that the three historical dictionaries adopt three different approaches to constitute their macrostructure: etymological for the RH and lexical for the OED, while the DHLA has opted for a complex approach. However these three approaches are implemented by applying three criteria namely, diachronic criterion, orthographical criterion, and etymological criterion. Our study also confirmed that putting main entrances in order directly impacts on the secondary entrances order.As for the microstructure, the three dictionaries elaborate the definition of their entrances by adopting a relatively similar model, built upon three types of information: morphological information, semantic information and contextual information.