Cette étude vise à unifier dans une même approche les descriptions données par une sémantique cognitive et les représentations associées, et étudiées par une sémantique formelle. La sémantique cognitive a pour but d’associer des schèmes aux significations des unités analysées. La sémantique formelle consiste à étudier les modes de représentation de ces schèmes et les relations avec les observables. Notre étude s’appuie et s’insère dans le modèle général développé à l’université Paris-Sorbonne dans le groupe LaLIC (Langages, Logiques, Informatique et Cognition), il s’agit d’utiliser le modèle de la GAC (Grammaire Applicative et Cognitive) et de la GRACE (GRammaire Applicative Cognitive et Enonciative) ; ces deux modèles font appel d’une part à la topologie et d’autre part à la logique combinatoire en vue d’un traitement automatique de la signification. Nous avons choisi d’étudier le problème des prépositions et plus spécialement des trois prépositions : dans, sous et à du français et de leur équivalents en arabe ; cela nous à conduit à rechercher des invariants associés à ces trois prépositions ou relateurs, la préposition dans renvoie à l’intériorité d’un lieu, qu’il soit spatial, temporel, spatio-temporel, notionnel ou d’activité ; la préposition sous renvoie à un lieu déterminé ou engendré par un autre lieu dont on prend la fermeture ; quand à la préposition à renvoie à la fermeture d’un lieu. Le lieu est un lieu cognitif abstrait, suffisamment général qui, selon le contexte peut prendre des valeurs plus particulières. / This study aims to unify in a single approach the descriptions given by cognitive semantics and associated representations, studied by formal semantics. Cognitive semantics consists to associate the meanings of the analyzed with schemes. Formal semantics consists in studying the modes of representation of these schemes and the relations to the observables. Our study is based on the general model developed at the Paris-Sorbonne University in the LaLIC group, using the GAC model (Applicative and Cognitive Grammar) and GRACE (GRammar Applicative Cognitive and Enunciative), these two models use the one hand to the topology and on the other hand to the combinatory logic in order to an automatic processing of meanings. We have chosen to study the problem of the three prepositions: dans, sous and à of French and their equivalences in Arabic, this leads us to search for invariants associated with these three prepositions or relators, the preposition dans refers to the interiority of a place, be it spatial, temporal, spatial-temporal, notional or activity and the preposition sous refers to a specific place or generated by another place whose closing is taken. The preposition à refers to the closing of a place, here the place is cognitive or abstract place, sufficiently general that according to the context can take more particular values.

Cette thèse est consacrée à l’étude du modèle d’accrochage en environnementfaiblement corrélé. Le modèle d’accrochage s’applique à de multiples situationstelles que la localisation d’un polymère au voisinage d’une interface unidimensionnelle,la transition de mouillage ou encore la dénaturation de l’ADN, le pointcommun étant la présence d’une transition entre une phase localisée et une phasedélocalisée.Nous commençons par donner un aperçu des résultats disponibles sur lescourbes et exposants critiques pour le modèle homogène puis pour le modèledésordonné lorsque le désordre est une suite de variables aléatoires indépendanteset identiquement distribuées (i.i.d.). Dans ce dernier cas, nous donnons égalementune borne sur la courbe critique quenched à haute température, dans un régimeoù le désordre est dit pertinent.Nous étudions ensuite le modèle d’accrochage désordonné dans le cas où ledésordre est gaussien et les corrélations ont une portée finie, à l’aide de la théoriedes processus de renouvellement markoviens. Nous donnons dans ce cas une expressionde la courbe annealed à l’aide de la plus grande valeur propre d’une matricede transfert ainsi que l’exposant critique annealed. Nous généralisons ensuite lescritères de pertinence et de non pertinence du désordre prouvés dans le cas i.i.d.Nous nous intéressons ensuite à des désordres dont les corrélations ont uneportée de corrélation infinie. Dans un premier temps, nous généralisons la démarcheutilisée dans le cas d’une portée de corrélations finie et obtenons le comportementcritique annealed dans le cas d’un désordre gaussien sous des hypothèses dedécroissance forte des corrélations. Nous utilisons pour cela les propriétés spectralesdes opérateurs de transfert pour des décalages sur des suites d’entiers etdes potentiels à variations sommables. Dans un deuxième temps, nous donnonsquelques résultats dans le cas où le désordre est donné par une chaîne de Markov. / In this dissertation we study the pinning model with weakly correlated disorder.The pinning model applies to various situations such as localization of a polymernear a one-dimensional interface, wetting transition and DNA denaturation, whichall display a transition between a localized phase and a delocalized phase.We start by giving a survey of the available results concerning critical pointsand exponents, first for the homogeneous setup and then for the inhomogeneousone, in the case when disorder is given by a sequence of independent and identicallydistributed (i.i.d.) random variables. In the latter case, we also provide a hightemperaturebound on the quenched critical curve in a case of relevant disorder.We then study the random pinning model when disorder is gaussian and hascorrelations with finite range, using the theory of Markov renewal processes. Weexpress the annealed critical curve in terms of the largest eigenvalue of a transfermatrix and we give the annealed critical exponent. We then generalize the criteriafor disorder relevance/irrelevance that were proved for the i.i.d. case.Next we are interested in disorder sequences with infinite range correlations.At first we generalize the method used to deal with finite range correlations andobtain the annealed critical behaviour in the case of gaussian disorder assumingfast decay of correlations. We use to this end the spectral properties of transferoperators for shifts on integer sequences and potentials with summable variations.Secondly we provide some results when disorder is a Markov chain.

Une vue d'ensemble des problèmes et des méthodes pour la conception des lignesd'assemblage et d'usinage est donnée. Un nouveau problème d'affectation de la main-d’œuvrepour une ligne d'assemblage multi-produit cadencée avec un objectif de minimiser lenombre d'opérateurs est étudié. Diverses relations de priorité entre les opérations et lesdifférentes fonctions définissant les temps d'opérations, en fonction du nombre d'opérateurssont considérés. Un nouveau problème d'optimisation multiobjectif pour une ligne d'usinagemono-produit est formulé. Plusieurs méthodes exactes et heuristiques et leursimplémentations informatiques pour les deux problèmes sont développées par l'auteur. Unmodule logiciel d'aide à la décision pour résoudre ces problèmes est développé et implémentédans un environnement d'un nouveau PLM d'IBM dans le cadre du projet européen amePLM.Ce module est testé sur un exemple réel de conception d'une ligne de montage des moteurschez Mercedes Benz en Allemagne. / An overview of existing problems and methods for the design of assembly and transfer lines is given. A new workforce assignment problem for a paced multi-product assembly line with a goal of minimizing the number of workers is studied. Various precedence relations between operations and functions of operation processing times dependent on the number of workers areconsidered. A new problem of multi-objective optimization for a single product transfer line is solved. Several exact and heuristic methods and their computer implementations for both problems are developed by the author. An application of developed approaches to solving a real production problem relevant to the European project amePLM is demonstrated.

Cette thèse s'inscrit dans le domaine de l'analyse harmonique et plus exactement, des estimations à poids. Un intérêt particulier est porté aux estimations Lp à poids des transformées de Riesz sur des variétés Riemanniennes complètes ainsi qu'à l'optimalité des résultats en terme de la puissance de la caractéristique des poids. On obtient un premier résultat (en terme de la linéarité et de la non dépendance de la dimension) sur des espaces pas nécessairement de type homogène, lorsque p = 2 et la courbure de Bakry-Emery est positive. On utilise pour cela une approche analytique en exhibant une fonction de Bellman concrète. Puis, en utilisant des techniques stochastiques et une domination éparse, on démontre que les transformées de Riesz sont bornées sur Lp, pour p ∈ (1, +∞) et on déduit également le résultat précèdent. Enfin, on utilise un changement élégant dans la preuve précèdente pour affaiblir l'hypothèse sur la courbure et la supposer minorée. / The topics addressed in this thesis lie in the field of harmonic analysis and more pre- cisely, weighted inequalities. Our main interests are the weighted Lp-bounds of the Riesz transforms on complete Riemannian manifolds and the sharpness of the bounds in terms of the power of the characteristic of the weights. We first obtain a linear and dimensionless result on non necessarily homogeneous spaces, when p = 2 and the Bakry-Emery curvature is non-negative. We use here an analytical approach by exhibiting a concrete Bellman function. Next, using stochastic techniques and sparse domination, we prove that the Riesz transforms are Lp-bounded for p ∈ (1, +∞) and obtain the previous result for free. Finally, we use an elegant change in the precedent proof to weaken the condition on the curvature and assume it is bounded from below.

Cette thèse présente un certain nombre de résultats sur la mécanique statistique des gaz froids. La première partie concerne essentiellement les gaz peu dégénérés de fermions ou de bosons avec un spin (ou un pseudo-spin) 1/2. Nous écrivons une équation cinétique pour un tel gaz et nous en servons pour étudier les propriétés de transport de spin, notamment les ondes de spin et l'instabilité de Castaing dans un piège. En utilisant une approche hydrodynamique, nous calculons également les modes collectifs d'oscillation d'un gaz de Bose unidimensionnel dans un piège à température nulle. Dans une deuxième partie, nous nous intéresseons aux propriétés d'équilibre des gaz froids denses. En<br />utilisant le formalisme des opérateurs d'Ursell, nous étendons la<br />théorie quantique du développement en agrégats des systèmes dilués<br />aux systèmes denses. Nous appliquons ensuite cette méthode à l'étude de la statistique des cycles d'un condensat de Bose-Einstein et à la transition superfluide d'un gaz de Fermi attractif.

Les contraintes de rapidité et de discrétion imposées à un système moderne de caractérisation du milieu océanique ont conduit au développement de la tomographie passive, définie comme un moyen discret et rapide d'estimation des paramètres d'un canal acoustique. Ce concept fait appel aux signaux existants dans le milieu et transmis par des sources d'opportunité. Les signaux d'opportunité sont inconnus à la réception mais contiennent des informations relatives aux paramètres physiques du canal défini entre la source et le récepteur. Le travail de recherche présenté dans ce mémoire est d´edié à la caractérisation des milieux sous-marins en utilisant des signaux bioacoustiques d'opportunité (sifflements à modulation fréquentielle). La méconnaissance du signal transmis, de la position et de la vitesse de la source acoustique d'opportunité rendent la tomographie passive difficile à mettre en oeuvre. La propagation dans l'environnement océanique et le mouvement inconnu de la source transforment conjointement les signaux d'opportunité enregistrés. Dans un premier temps, nous présentons de nouvelles méthodes d'estimation simultanée des paramètres environnementaux et des déformations engendrées par le mouvement dans le plan d'ambiguïté large-bande, dans un contexte d'émissions actives (le signal transmis est supposé connu). Ces méthodes, permettant de compenser les effets du mouvement dans les scénarios d'´emissions actives, sont appliquées et validées sur différents jeux de données simulées et réelles enregistrées en mer. Puis nous nous intéressons à la tomographie océanique acoustique passive sur un unique hydrophone. Dans ce contexte, le signal transmis, la position et la vitesse de la source sont entièrement inconnus. A partir des estimateurs développés pour les scénarios d'émissions actives, nous présentons une nouvelle méthodologie permettant d'estimer les paramètres environnementaux en utilisant des vocalises de mammifères marins enregistrées sur un unique hydrophone. Les informations extraites sur les signaux naturels d'opportunité sont ensuite utilisées pour estimer la position puis le vecteur vitesse de la source d'opportunité. Ces méthodes sont appliquées et validées sur différents jeux de données simulées et réelles enregistrées en mer.

L'extraction de connaissances dans les bases de données, également appelé data mining, désigne le processus non trivial permettant d'extraire des informations et des connaissances utiles qui sont enfouies dans les bases de données, les entrepôts de données (data warehouse) ou autres sources de données. Les recherches en ce domaine sont motivées par la croissance très rapide des volumes de données stockées et le potentiel de telles informations pour l'aide à la décision dans de nombreux domaines. Dans ce mémoire, nous traitons du problème de la génération efficace des règles d'association. Une règle d'association est une implication conditionnelle entre ensembles d'attributs binaires appelés items. Dans l'ensemble des travaux existants, ce problème est décomposé en deux sous-problèmes qui sont la recherche des ensembles fréquents d'items et la génération des règles d'association à partir de ces ensembles. Le premier sous-problème a une complexité exponentielle dans la taille de la relation en entrée et nécessite de parcourir à plusieurs reprises la totalité de la relation. L'extraction des ensembles fréquents d'items constitue donc la phase la plus coûteuse en termes de temps d'exécution et d'espace mémoire pour les algorithmes d'extraction des règles d'association. Nous proposons une nouvelle sémantique pour le problème de l'extraction des règles d'association basée sur la connexion de Galois d'une relation binaire finie. Utilisant cette sémantique, nous démontrons que les ensembles fermés fréquents d'items constituent une base, c'est à dire un ensemble générateur non redondant, pour les ensembles fréquents d'items et les règles d'association. Nous proposons deux nouveaux algorithmes, nommés Close et A-Close, permettant l'extraction des ensembles fermés fréquents d'items, à partir desquels les ensembles fréquents d'items et les règles d'association peuvent être dérivés sans accéder au jeu de données. Les résultats expérimentaux démontrent que ces algorithmes permettent de réduire les temps d'extraction des règles d'association dans le cas de jeux de données constitués de données denses ou corrélées. Utilisant la sémantique définie, nous proposons d'améliorer la pertinence et l'utilité des règles d'association extraites en limitant l'extraction à des bases pour les règles d'association. Nous adaptons pour cela les bases pour les règles d'implication définies en analyse de données et nous définissons de nouvelles bases constituées des règles non redondantes d'antécédents minimaux et de conséquences maximales à partir des ensembles fermés fréquents. Nous proposons également des algorithmes efficaces de génération de ces bases.

Le travail effectué dans cette thèse consiste à construire et adapter dans d'autres cadres des objets issus de la géométrie algébrique. Nous nous intéressons d'abord à la théorie des classes de Chern pour les faisceaux cohérents. Sur les variétés projectives, elle est complètement achevée dans les anneaux de Chow grâce à l'existence de résolutions globales localement libres et se ramène formellement à la théorie pour les fibrés. Un résultat de Voisin montre que ces résolutions n'existent pas toujours sur des variétés complexes compactes générales. Nous construisons ici par récurrence sur la dimension de la variété de base des classes de Chern en cohomologie de Deligne rationnelle pour les faisceaux analytiques cohérents en imposant la formule de Grothendieck-Riemann-Roch pour les immersions et en utilisant des méthodes de dévissage. Ces classes sont les seules à vérifier la formule de fonctorialité par pull-back, la formule de Whitney et la formule de Grothendieck-Riemann-Roch pour les immersions; elles coïncident donc avec les classes topologiques et les classes d'Atiyah. Elles vérifient aussi le théorème de Grothendieck-Riemann-Roch pour les morphismes projectifs. Notre second travail est l'étude des schémas de Hilbert ponctuels d'une variété symplectique ou presque complexe de dimension 4. Ils ont été construits par Voisin et généralisent les schémas de Hilbert connus pour les surfaces projectives. En utilisant les structures complexes relatives intégrables introduites dans la construction de Voisin, nous pouvons étendre au cas presque complexe ou symplectique la théorie classique. Nous calculons les nombres de Betti, nous construisons les opérateurs de Nakajima, nous étudions l'anneau de cohomologie et la classe de cobordisme de ces schémas de Hilbert, et nous prouvons dans ce contexte un cas particulier de la conjecture de la résolution crêpante de Ruan.

Le problème de l'optimisation des systèmes utilisant l'arithmétique virgule fixe est un problème d'optimisation combinatoire de complexité NP-difficile. Savoir analyser et optimiser des applications complexes et de taille réelle est le thème central de cette thèse. Une technique de type diviser-pour-régner, où un système donné est décomposé en plusieurs petits sous-systèmes organisés selon une hiérarchie est au cœur de cette approche. Cette décomposition ouvre la voie à l'évaluation rapide de la précision et au problème d'optimisation hiérarchique de la largeur des données et des opérations du système. En raison de la réduction du nombre de variables, la convergence du problème d'optimisation hiérarchique vers une solution est beaucoup plus rapide que dans le cas classique. Le modèle "Single Noise Source" (SNS) est proposé pour étudier les statistiques des erreurs de quantification. Au lieu de simplement se concentrer sur la moyenne et la variance du bruit des erreurs dues à la quantification, il fournit également des formules analytiques pour dériver les paramètres statistiques des processus aléatoires produisant les erreurs de quantification équivalentes à une simulation en virgule fixe. En présence des opérations " non-lisses " (un- smooth) telles que la décision dans les modulations QAM, les fonctions Min() ou Max(), etc., il est pour l'instant inévitable d'utiliser la simulation en virgule fixe. Une technique pour l'évaluation analytique des statistiques des erreurs de quantification en présence d'opérateurs non-lisses dans les graphes ne contenant pas de rebouclage est également proposée. Afin de tenir compte également des systèmes ayant des rebouclages, une technique hybride qui utilise le modèle SNS pour accélérer les simulations en virgule fixe est de plus proposée. Un cadre d'utilisation de l'optimisation convexe est proposé comme heuristique pour résoudre le problème d'optimisation des largeurs. Cette nouvelle technique améliore non seulement la qualité de la solution, mais permet de résoudre le problème plus rapidement que les approches itératives classiques. L'application des techniques proposées permet non seulement de réduire les coûts du système mais aussi une réduction de plusieurs ordres de grandeur dans le temps nécessaire pour optimiser les systèmes utilisant l'arithmétique virgule fixe.

La première partie de cette thèse étudie la ligne de partage des eaux, un des outils fondamentaux développés par la morphologie mathématique dans le but de segmenter des images. Une caractérisation de cet objet pour des fonctions régulières est donnée, et un théorème de convergence de l'algorithme associe est démontré. Les liens entre la ligne de partage des eaux et le squelette par zones d'influence euclidien (ou diagramme de voronoï), ainsi qu'avec l'équation eikonale utilisée en shape from shading sont ensuite mis en valeur. Des algorithmes pour la reconstruction géodésique et pour la segmentation avec points d'ancrage sont construits sur le principe de celui de la ligne de partage des eaux. Enfin, un algorithme de segmentation hiérarchique fonde sur un nouveau principe de dynamique des contours, est développé. Il permet d'obtenir dans une seule image toute l'information du gradient utilisable pour la segmentation. La deuxième partie de cette thèse applique des outils de l'analyse multivoque et mutationnelle a la morphologie mathématique. La dérivée mutationnelle du tube de dilatation est calculée, justifiant de manière rigoureuse l'intuition selon laquelle un objet se dilate suivant ses normales en chacun de ses points. Les propriétés algébriques et de continuité d'applications induites par des inclusions différentielles et agissant sur des ensembles fermés sont caractérisées. Enfin, un algorithme d'optimisation (l'algorithme des montagnes russes), de nature non probabiliste, garantissant la convergence vers un minimum global, est proposé.