.

On étudie la définition et la réalisation d'un centre local multiprocesseur qui permettra l'exploitation des algorithmes de commande multimodèle. On décrit les spécifications du centre de décision en vue de son implantation sur une structure informatique. On fait un rappel des structures et des concepts informatiques pour les systèmes à plusieurs processeurs. On définit la structure proposée basée sur le concept des entrées et des sorties des modules. On décrit le fonctionnement global du système et la structure matérielle de l'interface de communication associée à chacun des modules. On présente le protocole d'émission des messages du système de communication. On décrit l'application à l'implantation d'une commande multimodèle.

Dans un contexte de conception de produits, les industriels sont conduits à concevoir et réaliser une grande diversité de produits pour répondre à des besoins clients différents et des contraintes spécifiques liées aux marchés. Deux questions couplées apparaissent donc immédiatement qui concernent d'une part la diversité qu'il est nécessaire de proposer, d'autre part la manière de gérer et produire cette diversité dans des délais et des coûts acceptables. La contribution de cette thèse porte sur la proposition d'un modèle servant de support à une méthodologie globale de conception de produits à forte diversité. L'apport essentiel réside plus précisément d'une part, dans une séparation entre les différents types de diversité nécessaires à la description du cycle de mise sur le marché d'une famille de produits, d'autre part dans la déclinaison d'un type de diversité à l'autre en s'appuyant sur les outils disponibles actuellement dans la littérature. L'étude de la littérature montre l'absence de démarche globale. Une proposition de démarche a été formalisée en de 8 étapes clés, elle porte notamment sur l'analyse des besoins fonctionnels (avec une distinction entre les fonctions stables et les fonctions variables), la création d'une structure fonctionnelle, la création d'une structure technique et l'analyse de l'ensemble des process utilisables. Ce travail de thèse est illustré par la mise en oeuvre de la démarche sur le cas des faisceaux électriques automobiles dans un contexte de livraison synchrone ; un outil logiciel créé spécifiquement permet de supporter le travail des concepteurs.

Cette thèse comporte trois parties. La première traite du groupe des automorphismes des courbes modulaires X(N), N premier, sur F_p, p différent de N. On y démontre que, pour p>3 et X(N) ordinaire, ce groupe est exactement PSL_2(Z/NZ). On traite également complètement les cas N=7,11,13. La deuxième partie concerne les courbes optimales. On y montre que N_3(5)=13 et on étudie les propriétés géométriques (groupe d'automorphismes et revêtements) d'une courbe atteignant cette borne. La dernière partie est une extension de la méthode AGM pour le calcul du nombre de points en caractéristique 2 sur une courbe de genre 3 ordinaire et non hyperelliptique. On y démontre la formule reliant les rapports de thêta constantes au produit des valeurs propres du Frobenius unités 2-adiques. On donne un algorithme pour le calcul algébrique des rapports initiaux, un bon modèle de calcul (i.e tel que les calculs s'effectuent dans une extension non ramifiée fixe de Q_2) et on montre comment retrouver le polynôme caractéristique grâce à LLL.

Les systèmes complexes ferroviaires étant de plus en plus contraints par des autorités de décision placées à un haut niveau d'abstraction, il devient problématique d'imposer des critères à une autre échelle que fonctionnelle. Ainsi, dès lors que l'on descend plus bas, nous sommes confrontés à des spécificités des systèmes nationaux qui font perdre la généralité du travail des décisionnaires Européens. Le problème est qu'à chaque niveau d'abstraction, des méthodes d'évaluation du risque existent, mais sans être compatibles entre elles. Par ailleurs, la combinaison des couches et la vision fonctionnelle du système ne prennent pas en compte l'impact des fonctions les unes sur les autres, ni le lien entre le niveau global et les composants afin d'allouer la sécurité.Nous proposons donc une démarche harmonisée d'évaluation du risque, capable de répartir les contraintes définies au niveau fonctionnel abstrait sur les entités qui implémentent les systèmes avec leurs spécificités.Notre contribution est méthodologique. Elle part d'un modèle fonctionnel du système ferroviaire constitué en couches. Le but étant de représenter ce système sans dépendance entre les fonctions, il a fallu les traduire indépendamment des autres en faisant apparaître les entrées/sorties comme des places/transitions d'un réseau de Petri. A chaque couche de la décomposition correspond une classe de réseau de Petri. Ainsi, à la couche structurelle, nous associons les réseaux de Petri Temporels; à la couche fonctionnelle les réseaux de Petri stochastiques et à la couche logique les réseaux de Petri Prédicats Transitions

Lorsqu'une entreprise prend la décision stratégique de lancer une nouvelle famille de produits ou de reconcevoir un produit existant, l'architecte système a pour mission de concevoir ou de faire évoluer l'architecture de ce produit. L'architecte joue aussi le rôle de chef de projet et doit concevoir ou faire évoluer en même temps, l'organisation du projet pour la rendre plus performante. Dans ce mémoire, notre objectif est de développer des modèles et méthodes permettant d'aider les architectes système dans cette double activité. Dans le cadre de l'Ingénierie Système, notre méthode se base sur la définition de nos propres concepts d'architecture et de conception modulaire pour les étendre à la définition de l'architecture de l'organisation du projet. Nous proposons ensuite en cohérence avec notre positionnement, un algorithme de clustering utilisant l'outil DSM comme méthode de représentation, cet algorithme a pour fonction de révéler l'architecture d'un domaine en partant de sa représentation matricielle (DSM). L'application de notre méthode de développement des architectures est liée aux quatre situations de conception identifiées. Pour chacune de ces situations, nous proposons une méthode de conception des architectures, faisant appel à un traitement flou et/ou à des opérations matricielles. Chacune de ces situations est ensuite illustrée par une application à la conception d'un moteur thermique dans l'industrie automobile. La démarche présentée dans ce chapitre est une vision statique de la conception des architectures. Face cette vision statique, nous montrons la nécessité de faire « coévoluer » les architectures couplées. Nous proposons alors l'exploration des incertitudes comme méthode pour suivre l'évolution des systèmes (perturbations) étudiés. Nous développons une méthode basée sur un traitement flou pour faire coévoluer les architectures perturbées et pour les rendre cohérentes.

La décomposition modulaire apparait naturellement dans différents domaines de la combinatoire (et en particulier les graphes). Cette décomposition se révèle être un puissant outil de description d'objets discrets. Elle est aussi utilisée comme étape préliminaire à nombreux d'algorithmes.<br /><br />Dans ce mémoire, nous nous intéressons au calcul de la décomposition modulaire. Malgré la publication d'algorithmes linéaires au milieu des années 90, la recherche sur ce problème n'a pas cessée. Nous faisons le point sur les différentes avancées et techniques utilisées.

La formule du fibré canonique et la décomposition de Zariski sont deux outils très importants en géométrie birationnelle. La formule du fibré canonique pour une fibration f:(X,B)->Z consiste à écrire K_X+B comme tiré en arrière de K_Z+B_Z+M où B_Z contient des informations sur les fibres singulières et M s'appelle partie modulaire. Il a été conjecturé qu'il existe une modification birationnelle Z' de Z telle que M' est semiample, où M' est la partie modulaire induite par changement de base. Un diviseur pseudoeffectif admet une décomposition de Zariski s'il existent un diviseur nef P et un diviseur effectif N tels que D=P+N et P est "le plus grand" diviseur nef tel que D-P est effectif.

Avec l'augmentation de la probabilité de fautes dans les circuits numériques, les systèmes développés pour les environnements critiques comme les centrales nucléaires, les avions et les applications spatiales doivent être certifies selon des normes industrielles. Cette thèse est un résultat d'une cooperation CIFRE entre l'entreprise Électricité de France (EDF) R&D et Télécom Paristech. EDF est l'un des plus gros producteurs d'énergie au monde et possède de nombreuses centrales nucléaires. Les systèmes de contrôle-commande utilisé dans les centrales sont basés sur des dispositifs électroniques, qui doivent être certifiés selon des normes industrielles comme la CEI 62566, la CEI 60987 et la CEI 61513 à cause de la criticité de l'environnement nucléaire. En particulier, l'utilisation des dispositifs programmables comme les FPGAs peut être considérée comme un défi du fait que la fonctionnalité du dispositif est définie par le concepteur seulement après sa conception physique. Le travail présenté dans ce mémoire porte sur la conception de nouvelles méthodes d'analyse de la fiabilité aussi bien que des méthodes d'amélioration de la fiabilité d'un circuit numérique.

Th. 3e cycle--Inform.--Nancy 1, 1980. N°: 111.