Cette thèse propose une modélisation de la maintenance corrective en univers stochastique. Après avoir détaillé les éléments de base de ce vaste sujet (fiabilité, maintenabilité, gestion des stocks de rechange, etc), une modélisation sous forme de réseau de files d'attente est élaborée. Un algorithme de calcul de la disponibilité d'un parc de systè...
Cet article cherche à expliquer la pluralité des comportements individuels en matière d'éducation. Celle-ci est traitée en tant qu'investissement ainsi que dans la théorie du capital humain. Cependant, la valeur de l'investissement n'est pas mesurée de la même façon suivant les caractéristiques socio-économiques du décideur en raison d'une part des...
Les études sur le test fonctionnel d'un microprocesseur et de ses périphériques se situent dans le cadre d'un projet pilote de l'IRIA : sûreté de fonctionnement des systèmes (SURF). Nos efforts ont portés sur la réalisation d'une bibliothèque de programmes de test pour microprocesseurs standards. Ceci explique que la méthode de test proposée est de...
Revue des technologies industrielles actuelles. Théorie de la filtration compression ; modèles théoriques et phénoménologiques. Étude expérimentale de la validation des modèles à l'étude de la compression de produits industriels. Exemple de la déshydratation de pulpes de betteraves ; recherche des optimums techniques, économiques et énergétiques d'...
L'objet de la thèse est l'étude des méthodes d'implantation automatisée de deux types de circuits: précaractérisés et les circuits prédiffusés. On propose des méthodes et des logiciels effectuant une initialisation du placement des blocs qui est améliorée par transformations élémentaires successives. Les méthodes sont principalement des méthodes st...
Des réalisations hiérarchisées et systématiques de logiques en bandes sont proposées dans différentes technologies (découpage en cellules fonctionnelles, assemblages en bandes de cellules fonctionnelles puis en blocs). Un système d'implantation automatisé, OASIS II, permet de placer, d'améliorer le placement et de connecter de tels circuits. On pro...
La phase de dessin des circuits intégrés est aujourd'hui le goulot d'étranglement entre la demande et la production. On présente le générateur automatique d'architectures pour circuits intégrés de filtrage numérique. La description d'un algorithme de filtrage assortie d'une contrainte «temps réel» est fournie au générateur. L'architecture optimisée...
Étude de certains problèmes d'optimisation combinatoire. Le premier concerne un problème de régulation de trafic pour lequel on donne une formulation mathématique et on propose une méthode permettant de le résoudre. Le deuxième problème traité est un des problèmes de la physique statistique qui relève de la combinatoire et de l'optimisation, celui ...
Lors de la conception des circuits intégrés VLSI, les Réseaux Logiques Programmables (P.L.A.) permettent le dessin automatique des masques à partir d'une description logique. La surface occupée par ces PLAs peut, dans certains cas, s'avérer prohibitive; d'où l'intérêt des méthodes d'optimisation topologique de ceux-ci. Après avoir défini les différ...
