Spelling suggestions: "subject:"[een] MODELING AND SIMULATION"" "subject:"[enn] MODELING AND SIMULATION""
491 |
Indicateurs de dépendance entre deux variables aléatoires fournis par le développement en série de la densité de probabilitéBlacher, René 30 March 1983 (has links) (PDF)
.
|
492 |
Étude et réalisation d'un système microprocesseur pour le traitement des algorithmes parallèlesRagab, Sarwat 07 June 1983 (has links) (PDF)
Description du prototype d'un système multimicroprocesseur adapté au traitement des algorithmes parallèles dont une étude des différentes architectures multiprocesseurs et de leur classification permet de le situer au sein des MIMD. Son architecture modulaire permet la connexion d'un grand nombre de processeurs sur un bus commun par un circuit d'arbitrage asynchrone. Une évaluation des performances du système dans le traitement des programmes utilisant les différents types de parallélisme est présentée.
|
493 |
Sur la résolution numérique du problème de Navier-Stokes tridimensionnel axisymétrique en fonction de courant-vorticitéMonsalve, José 30 June 1982 (has links) (PDF)
.
|
494 |
Analyse et simulation de réseaux d'automatesLegendre, Marc 08 November 1982 (has links) (PDF)
On s'intéresse à l'analyse et la simulation du comportement itératif de réseaux d'automates et plus particulièrement des réseaux d'automates à seuil (avec éventuellement introduction d'une période de réfraction). On donne, on approfondit des résultats concernant la longueur du cycle limite, le nombre de pas nécessaires pour l'atteindre, ainsi que l'organisation spatiale des cellules dans le cycle.
|
495 |
Méthode de conception descendante de systèmes temps réelPilaud, Daniel 23 November 1982 (has links) (PDF)
Une methode de conception descendante par affinements successifs de spécifications est présentée. Le point de départ de la conception est la spécification initiale du système sous forme comportementale. L'étape suivante est la specification algorithmique du systeme qui consiste à définir une machine abstraite réalisant le systeme ainsi que la dérivé temporelle admissible sur les entrées et les sorties du système. Ensuite, deux types d'implantation sont proposes: l'implantation fidèle qui est la réalisation d'une machine concrète ayant un comportement semblable à la machine abstraite (à la dérivé temporelle près). Dans le cas contraire, une alarme est envoyée à l'environnement. Cette implantation peut être faite automatiquement grâce à l'interpréteur GRAFCET fidèle. Le deuxième type d'implantation est l'implantation sur ou par construction les contraintes de fonctionnement sont respectées
|
496 |
LesSystème CESAR : description, spécification et analyse des applications répartiesQueille, Jean-Pierre 15 June 1982 (has links) (PDF)
Le système CESAR proposé dans cette thèse est un système d'aide à la conception des applications reparties. Il permet de décrire l'application étudiée dans un langage algorithmique en termes de processus communiquant par rendez-vous; de spécifier les propriétés de comportement souhaitées au moyen d'une logique temporelle. Le modèle sur lequel ces formules sont analysées est un réseau de Petri interprété généré automatiquement à partir de la description fournie. L'analyse repose sur une évaluation des opérateurs temporels comme points fixes de transformateurs de prédicats sur l'espace d'états du modèle.
|
497 |
Etude du parallélisme appliqué à la traduction automatisée par ordinateur : STAR-PALE : un système parallèleVerastegui-Carvajal, José-Nelson 17 May 1982 (has links) (PDF)
.
|
498 |
Une approche de la théorie de D. Scott et application à la sémantique des types abstraits génériquesSoler, Roger 21 September 1982 (has links) (PDF)
La théorie des domaines de D. Scott est le fondement mathématique de la sémantique dénotationnelle des langages de programmation. On présente les éléments de cette théorie, Ainsi que la flacon de réaliser un calcul des retracts (i.e. des fonctions qui caractérisent les domaines). On donne les solutions des équations de domaines dans des domaines universels, en utilisant le formalisme des connexions de Galois. Ensuite, on aborde le probleme de la satisfaction des axiomes qui font partie de la définition des types abstraits génériques, en présentant ainsi une sémantique pour ce nouveau concept des langages de programmation
|
499 |
Analyse et comparaison d'itérations discrètes : la méthode de Newton dans (Z/pZ)nEl Bernoussi, Souad 11 May 1982 (has links) (PDF)
.
|
500 |
Contribution à l'étude des points singuliers des systèmes différentiels linéairesHilali, Abdelaziz 26 April 1982 (has links) (PDF)
.
|
Page generated in 0.0452 seconds