Depuis plusieurs décennies, la modélisation moyenne de convertisseurs statiques a fait l'objet de nombreuses études. En effet, nous avons intérêt à transformer le système original en un système continu qui représente macroscopiquement au mieux les comportements dynamiques et statiques du circuit, notamment en vue d'une étude système. Le modèle dit « moyen » trouve un vaste champ d'applications que ce soit en commande, en simulation (rapide et système) ou encore en analyse des modes... Cependant, la modélisation moyenne peut s'avérer laborieuse dés que le nombre de semi-conducteurs du convertisseur devient important. Dans cette optique, plusieurs auteurs ont essayé d'apporter une aide automatique dans le processus de calcul de ces modèles afin d'épargner l'utilisateur de cette fastidieuse tâche de calcul faite à la main. Néanmoins, actuellement, la démarche de modélisation n'a jamais été entièrement automatisée. Dans cette perspective, les objectifs de cette thèse visent à fournir un outil d'aide à la génération automatique de modèles exacts et moyens dans le cas de la conduction continue et/ou discontinue et en partant d'un a priori sur le fonctionnement du convertisseur à étudier : la description du circuit, le mode de fonctionnement et la commande du convertisseur statique. La conception d'un tel outil repose sur trois étapes principales et qui sont l'analyse topologique du circuit, le calcul des matrices d'état pour chaque configuration du convertisseur statique et enfin une mise en équations des modèles. Les modèles générés sont sous forme symbolique ce qui permet de les réutiliser dans plusieurs logiciels.

Cette thèse aborde la problématique de la génération des connaissances au cours de la phase de conception et plus particulièrement en conception collaborative. Il est proposé d'exploiter les connaissances en conception après une phase de collecte, de capture. Après une phase de capitalisation viendra une étape de réarrangement de ces connaissances. Un processus appelé "Processus d'Ingénition" est montré. Établi sur le principe de description de graphes de connaissances augmentées d'une triple instrumentation, ce processus permet une analyse originale des phases de conception d'un produit. Des applications à l'ingénierie didactique et à l'ingénierie pédagogique ont vu le jour au cours de ce travail. Les domaines de la conception collaborative de produits, de la didactique et de la gestion des connaissances sont mis en regard pour proposer une vision originale du processus de conception collaborative.

Dans cette thèse, nous nous intéressons aux problématiques d'optimisation de la capacité des réseaux radio maillés. Cette architecture de réseau d'accès est particulièrement pertinente en milieu urbain ou en situation opérationnelle militaire. Nous définissons la capacité d'un réseau comme la quantité de flot que peut répartir équitablement une topologie aux utilisateurs qu'elle sert. Afin d'obtenir des bornes théoriques sur les performances du réseau, nous développons des modèles d'optimisation intégrant les caractéristiques inter-couche des communications radio. Nous étudions plus précisément le problème joint du routage et de l'ordonnancement. Nous développons, pour la relaxation linéaire de ce problème, une méthode de résolution efficace utilisant la génération de colonnes. Nous dérivons ensuite une formulation qui élimine le routage pour se concentrer sur la capacité de transport disponible sur les coupes du réseau. L'équivalence des solutions optimales est démontrée, et le processus de résolution est adapté en une génération croisée de lignes et de colonnes. Ces études mettent en évidence la présence d'une zone de contention autour de chaque point d'accès qui contraint la capacité du réseau. Ces résultats permettent une étude quantitative des effets du trafic d'acquittement sur la capacité. Nous présentons enfin une étude de la stabilité d'un protocole routant du trafic injecté de manière arbitraire au cours du temps. Nous améliorons les résultats existants en démontrant la stabilité quand le trafic injecté est un flot maximum. L'ensemble de ces travaux a été implémenté dans la bibliothèque open source MASCOPT (Mascotte Optimisation) dédiée aux problèmes d'optimisation des réseaux.

Ce travail présente une modélisation originale de la notion de test de programmes, à partir de la logique égalitaire du premier ordre. Plusieurs applications concernant notamment les types abstraits algébriques et la validation automatique de spécifications sont proposées.<br /><br />À partir d'une étude intuitive de la notion de test, nous dégageons la notion de processus de test, fondée sur le principe du couplage.<br /><br />Nous définissions la notion de jeu de tests sur un contexte de test. Ses propriétés mathématiques sont étudiées: fiabilité, validité, absence de biais, acceptabilité. Plusieurs ordres partiels sont définis: finesses absolue et asymptotique. Les équivalences déduites donnent lieu à des théorèmes importants.<br /><br />Une méthode de pratique de test est construite à partir de cette théorie et appliquée à un programme de tri. Cette méthode est particulièrement adaptée à la validation d'un axiome d'un type abstrait algébrique sur une algèbre. Un exemple est présenté, et l'implantation d'un outil expérimental utilisant cette méthode, réalisé à titre expérimental, est décrite.<br /><br />De nombreuses annexes sont jointes: un résumé des travaux antérieurs sur le problème, une bibliographie sur la validation des programmes par test, une introduction à la logique du premier ordre et un listage partiel de l'implantation réalisée.

On s'intéresse dans ce mémoire à la riche combinatoire des configurations de boucles compacte (ou FPL, ou matrices à signes alternants, ou orientations eulériennes d'une grille). Sont en particulier abordées les questions d'énumération et les liens avec l'énumération de partitions planes, les conjectures à la Razumov et Stroganov, et la génération aléatoire exactement uniforme de configurations satisfaisant des conditions arbitraires de symétrie.

Dans cette thèse, nous nous intéressons aux problèmes du knapsack multidimensionnel à choix multiple. Ils interviennent essentiellement en télécommunication. Nous proposons de nouvelles méthodes hybrides de résolution exacte et approchée. Dans un premier temps, nous proposons des méthodes heuristiques en se basant sur les techniques de génération de colonnes et d'arrondi. Ensuite, nous abordons une méthode de recherche locale, dite méthode de branchement local, où des contraintes linéaires sont introduites pour intensifier et diversifier la recherche. Cette méthode est ensuite hybridée avec la génération de colonnes et une technique d'arrondi. Concernant la résolution exacte, nous nous basons sur une méthode de "Branch and cut". Nous commençons par proposer de nouvelles contraintes valides pour le problème. Ensuite, nous les associons à des contraintes de couverture locales et globales dans un schéma énumératif. Les approches heuristiques et l'algorithme exact que nous proposons sont comparés à d'autres heuristiques de la littérature et au Solveur de programmes linéaires Cplex . L'ensemble de ces tests numériques ont été menés sur des instances ardues de la littérature ainsi que sur des instances générées aléatoirement de taille modérée.

Cette thèse analyse les modes de participation des descendants de migrants, en particulier maghrébins en France et turcs en Allemagne. Selon le cadre national dans lequel ils évoluent, les descendants de migrants n'ont pas les mêmes opportunités et ne font pas face à des contraintes similaires. Ainsi, en confrontant les conditions institutionnelles et structurelles propres aux sociétés française et allemande, il est possible de s'interroger sur les variations des modes de participation des descendants de migrants. Plusieurs dimensions sont étudiées : les inégalités dans l'accès aux titres scolaires, les transitions sur le marché du travail, le type d'emploi et les formes d'appartenance (lien de citoyenneté et lien de participation élective). Les résultats fondés sur l'exploitation quantitative de grandes enquêtes montrent que les descendants de migrants turcs, malgré leur situation d'échec scolaire, ont une vie professionnelle plus favorable que les descendants de migrants maghrébins qui ont quant à eux des diplômes plus élevés. Ces derniers, contrairement aux premiers, connaissent plus souvent le chômage, ils ont quitté le secteur industriel dans lequel étaient concentrés leurs parents, et subissent souvent un déclassement et une instabilité professionnelle. Les résultats obtenus laissent apparaître deux types de logiques sociales : la mise à distance sociale par la relégation en Allemagne et par la discrimination en France. Ces logiques sociales renvoient à des mécanismes institutionnels, structurels et symboliques précis qui sont développés et théorisés dans ce travail. Enfin, les descendants de migrants ne développent pas les mêmes formes d'appartenance. Alors que l'expérience du rejet amène les descendants de migrants maghrébins à révoquer leur appartenance à la société française, les descendants de migrants turcs sont maintenus dans un entre-soi qui, en quelque sorte, « va de soi ».

La complexité croissante des systèmes réactifs fait que le test devient une technique de plus en plus importante dans le développement de tels systèmes. Un grand intérêt est notamment accordé au test de conformité qui consiste à vérier si les comportements d'un système sous test sont corrects par rapport à sa spécication. Au cours des dernières années, les théories et outils de test de conformité pour la génération automatique de test se sont développés. Dans ces théories et algorithmes, les spécications des systèmes réactifs sont souvent modélisées par différentes variantes des systèmes de transitions. Cependant, ces théories et outils ne prennent pas explicitement en compte les données du système puisque le modèle sous-jacent de système<br />de transitions ne permet pas de le faire. Ceci oblige à énumérer les valeurs des données avant de construire le modèle de système de transitions d'un système, ce qui peut provoquer le problème de l'explosion de l'espace d'états. Cette énumération a également pour effet d'obtenir des cas de test où toutes les données sont instanciées. Or, cela contredit la pratique industrielle où les cas de test sont de vrais programmes avec des variables et des paramètres. La génération de tels<br />cas de test exige de nouveaux modèles et techniques. Dans cette thèse, nous atteignons deux objectifs. D'une part, nous introduisons un modèle appelé système symbolique de transitions à entrée/sortie qui inclut explicitement toutes les données d'un système réactif. D'autre part, nous proposons et implémentons une nouvelle technique de génération de test qui traite symboliquement les données d'un système en combinant l'approche de génération de test proposée auparavant par notre groupe de recherche avec des techniques d'interprétation abstraite. Les cas de test générés automatiquement par notre technique satisfont des propriétés de correction: ils émettent toujours un verdict correct.

La marche est un moyen de locomotion essentiel pour l'être humain. La marche en courbe fait partie des synergies motrices fondamentales qui permettent de se déplacer en sécurité lorsqu'un sujet tourne dans un couloir ou évite un obstacle. Ce travail vise à approfondir l'étude de la marche en courbe afin de définir des invariants locomoteurs fondamentaux pour l'explication biomécanique et neuroscientifique du mouvement mais aussi pour la génération de trajectoires réalistes en animation et en robotique humanoïde. L'originalité de ce travail est de considérer la trajectoire locomotrice humaine dans l'espace défini par la courbure et la vitesse de la trajectoire.Dans un premier temps, nous proposons une définition objective du virage qui s'appuie sur la relation discrète entre la courbure moyenne et la vitesse moyenne de la trajectoire à chaque pas du sujet en comparaison avec ces mêmes paramètres en ligne droite. Puis, nous nous intéressons aux relations de type loi de puissance entre vitesse et courbure au cours d'un virage. Nous démontrons l'existence d'une relation inter-individuelle au maximum de courbure. Enfin, nous nous intéressons au cas plus complexe de l'évitement de collision entre deux marcheurs afin d'identifier les stratégies mises en place. Ces stratégies dépendent de l'ordre de passage des sujets.

La qualité de réalisation des moules et matrices dépend de l'aptitude de chacune des activités du processus de conception et de fabrication à modéliser ou produire la géométrie attendue. Malgré l'intégration des contraintes de fabrication liées aux procédés d'obtention, il est difficile d'atteindre le niveau de qualité recherché car de nouvelles erreurs sont introduites lors de la génération des trajectoires. En effet, l'extraction de la géométrie nominale et sa re-modélisation sous forme de trajets d'usinage introduit de nombreuses approximations. La surface d'usinage apporte une évolution du processus de conception des formes en intégrant les spécifications fonctionnelles au calcul du trajet d'usinage. Nous menons une démarche d'identification de la surface d'usinage pour le fraisage à 5 axes en bout avec un outil torique. Cette nouvelle modélisation est utilisée pour implémenter une stratégie d'usinage particulière dite à hauteur de crête constante en fraisage 3 et 5 axes. Celle-ci améliore la qualité des surfaces usinées et permet d'augmenter la productivité de l'usinage et abaisser les coûts.