|
|
|
| Registros recuperados: 43 | |
|
| |
|
| |
|
|
| Moukeli, P.. |
| La programmation parallèle nécessite des outils permettant l'arrêt global des systèmes distribués. Plusieurs travaux ont été menés permettant de construire de tels outils. Cependant le nombre de messages générés par les algorithmes qui en résultent les rend inefficaces. Le présent travail qui est une amélioration d'un résultat antérieur propose un algorithme permettant un arrêt consistant du système distribué et générant un nombre de messages borné et indépendant du nombre de processus dans le système. (Résumé d'auteur) |
| Tipo: Text |
Palavras-chave: ALGORITHME; PROGRAMMATION; SYSTEME DISTRIBUE; PARALLELISME. |
| Ano: 1996 |
URL: http://www.documentation.ird.fr/hor/fdi:010008751 |
| |
|
| |
|
| |
|
| |
|
| |
|
|
| Akoussah, K.E.; Fafard, M.; Henchi, K.. |
| La recherche sur la réponse dynamique des ponts a commencé dans les années 50 après l'effondrement de certains ponts de chemin de fer en Angleterre. A ses débuts, la recherche était plutôt expérimentale et portait sur l'élaboration d'un facteur d'amplification dynamique à l'usage des ingénieurs praticiens à partir de plusieurs tests expérimentaux. En général, ce facteur dépendait seulement de la longueur des ponts. Cependant, il est maintenant admis que la réponse dynamique des ponts due aux charges mobiles (véhicules) dépend de plusieurs facteurs dont les caractéristiques géométriques du pont, les caractéristiques des véhicules, les profils dynamique et statique du pont, le trafic, etc. Avec l'avènement des ordinateurs et pour tenir compte de tous ces... |
| Tipo: Text |
Palavras-chave: MODELE MATHEMATIQUE; PONT; ALGORITHME; SIMULATION. |
| Ano: 1996 |
URL: http://www.documentation.ird.fr/hor/fdi:010008728 |
| |
|
|
| Séchet, Patrick. |
| Le présent travail a pour objet la recherche d'une méthode de tri, principalement destinée au classement selon une clé secondaire de grands fichiers non conventionnels. La recherche de l'efficacité du programme dans un contexte de mémoire virtuelle, a conduit à une étude détaillée du comportement des algorithmes de tri, tant interne qu'externe, vis à vis de cette configuration particulière. La sélection de quelques modèles de classification, bien adaptée à priori, est opéré après un examen général des algorithmes connus comme étant les plus efficaces. Une étude comparative des méthodes sélectionnées s'appuie sur l'évaluation des durées de chaque étape du traitement, et en particulier du temps passé aux échanges de pages. Les résultats analytiques obtenus... |
| Tipo: Text |
Palavras-chave: INFORMATIQUE; TRAITEMENT DE DONNEES; MEMOIRE INFORMATIQUE; METHODE D'ANALYSE; ALGORITHME; PROGRAMME. |
| Ano: 1984 |
URL: http://www.documentation.ird.fr/hor/fdi:010014739 |
| |
|
|
| Bourgeois, A.; Henzel, D.; Dibanga, G.; Ndong Minko, N.; Peeters, Martine; Coulaud, J.P.; Fransen, L.; Delaporte, Eric. |
| La lutte contre les MST constitue une priorité de santé publique des pays en développement de par leurs complications propres, en particulier chez la femme, et de par leur rôle facilitant la transmission du VIH. Une des stratégies de lutte contre les MST est le diagnostic et le traitement précoces de ces infections. Les MST, en particulier les infections à gonocoques et à #Chlamydiae trachomatis$ sont d'un diagnostic difficile chez la femme en l'absence d'examens complémentaires, ceux-ci faisant souvent défaut au niveau des structures de soins de santé primaire. Dans ce contexte, l'approche syndromique, basée sur la prise en compte de signes et symptômes, peut permettre de standardiser et d'améliorer la prise en charge des patientes. Une étude de... |
| Tipo: Text |
Palavras-chave: EPIDEMIOLOGIE; DEPISTAGE; DIAGNOSTIC; SIDA; GROSSESSE; ALGORITHME; MALADIE SEXUELLEMENT TRANSMISSIBLE; FACTEUR DE RISQUE. |
| Ano: 1996 |
URL: http://www.documentation.ird.fr/hor/fdi:010005805 |
| |
|
|
| Leviandier, T.. |
| On établit un algorithme adaptatif d'estimation d'une fonction de transfert à deux termes lorsque les entrées comportent des erreurs, cas présumé fréquent sur des pluies servant à calculer un débit. On développe pour cela les dérivées des paramètres par rapport aux fonctions d'autocorrélation et d'autocorrélation croisée des variables. L'estimateur est testé par une méthode de Monte Carlo contre une régression multiple récursive, lorsque le vrai modèle est l'un ou l'autre. On montre sur un exemple que l'erreur d'hypothèse de modélisation des erreurs augmente le risque de mauvaise prévision sans trop affecter la qualité moyenne des résultats. (Résumé d'auteur) |
| Tipo: Text |
Palavras-chave: ERREUR; ALGORITHME; MODELE DETERMINISTE; FONCTION DE TRANSFERT; RELATION PRECIPITATION DEBIT. |
| Ano: 1986 |
URL: http://www.documentation.ird.fr/hor/fdi:25927 |
| |
|
| |
|
| |
|
| |
|
| |
|
|
| Bengeloune, I.. |
| Les formules existentielles jouent un rôle important dans le domaine de la synthèse déductive de programmes. Nous présentons une méthode permettant la construction (automatique) de preuves de validité de formules existentielles dans le modèle initial d'un ensemble d'équations. Cette méthode est basée sur une notion de "cover set" et de système de réécriture ordonné. Nous proposons également un algorithme de synthèse de définitions récursives de fonction de Skolem pour une formule existentielle à partir de sa preuve de validité. (Résumé d'auteur) |
| Tipo: Text |
Palavras-chave: INDUCTION; ALGORITHME; SYNTHESE; AUTOMATISATION; INTELLIGENCE ARTIFICIELLE. |
| Ano: 1996 |
URL: http://www.documentation.ird.fr/hor/fdi:010008764 |
| |
|
|
| Ogor, B.; Kpalma, K.. |
| Ce papier présente les performances d'une approche morphologique, en télédétection spatiale, intégrée dans un schéma de segmentation hiérarchique par région. La méthode de segmentation proposée s'inscrit en amont d'une méthode de recalage d'images satellites s'appuyant sur les contours. La morphologie mathématique fournit un arsenal d'outils particulièrement appréciables en segmentation puisqu'elle permet de prendre en compte, efficacement, des notions de taille, de forme, de contraste et de connexité considérées comme proches de la notion de région et donc de segmentation. L'algorithme présenté dans cette communication fait collaborer les derniers outils morphologiques développés en segmentation et les méthodes générales de croissance de régions. Des... |
| Tipo: Text |
Palavras-chave: IMAGE SATELLITE; TRAITEMENT D'IMAGE; MORPHOLOGIE MATHEMATIQUE; CLASSIFICATION HIERARCHIQUE; REGION; ALGORITHME; SEGMENTATION D'IMAGE. |
| Ano: 1996 |
URL: http://www.documentation.ird.fr/hor/fdi:010008760 |
| |
|
| |
| Registros recuperados: 43 | |
|
|
|
