Volume 4, 2006


1. Numerical study of some iterative solvers for acoustics in unbounded domains

Nabil Gmati ; Naouel Zrelli.
L'objectif de cet article est de présenter et d'étudier quelques méthodes itératives, utilisant les méthodes de décomposition de domaine pour la propragation d'onde acoustiques harmoniques en domaine extérieur. On développe notre méthode dans le cas d'un guide infini dans une direction et celui du problème de diffraction par un obstacle. Dans les deux cas, on utilise des conditions aux limites transparentes connues, qui imposent sur une frontière fictive une condition aux limites utilisant un développement en série de Fourier. En vue de la mise en oeuvre numérique, on propose un algorithme original, obtenu en appliquant la méthode des itérations successives au problème posé dans le domaine tronqué. Notre méthode sera interprétée comme une méthode de décomposition de domaines, ce qui permettra son étude de convergence. Les avantages de cette méthode résident dans la conservation de la structure creuse de la matrice éléments finis et la possibilité de la factoriser une fois pour toute au cours des itérations.

2. SenPeer : un système pair-à-pair de médiation de données

David C. Faye ; Gilles Nachouki ; Patrick Valduriez.
Dans cet article nous présentons SenPeer, un nouveau système pair-à-pair de gestion de données distribuées permettant le partage décentralisé et flexible de données relatives la mise en valeur du fleuve Sénégal. SenPeer est un réseau de type Super-Pair reposant sur une organisation des pairs en domaines sémantiques et dans lequel les pairs peuvent publier des bases de données relationnelles ou objets ou des documents XML. Chaque pair exporte ses données dans un formalisme pivot commun qui a une structure de graphe enrichi sémantiquement avec des mots-clés destinés à guider la découverte des correspondances entre les éléments des schémas. Ces correspondances sont découvertes grace à un ensemble de mesures de similarités floues. De plus elles permettent l'établissement d'un réseau sémantique à coté de la typologie physique. pouvant servir de support un à routage intelligent des requêtes.

3. Exécution d'un graphe cubique de tâches sur un réseau bi-dimensionnel et asymptotiquement optimal

Clémentin Tayou Djamegni.
Cet article présente une stratégie d'ordonnancement des graphes de tâches associés à une fonction de temps linéaire dans le contexte de la programmation parallèle. Cette stratégie d'ordonnancement est utilisée pour exécuter un graphe cubique de tâches, dont les tâches ont la même durée d'exécution et les temps de communications inter-tâches sont négligés, sur un réseau de processeurs bi-dimensionnel et asymptotiquement optimal par rapport à la fonction de temps. Ce résultat améliore la meilleure borne précédemment connue.

4. Suite d’ensembles partiellement ordonnés

Bachir Sadi.
Ce travail porte sur le développement d’un ordre D(P) sur les antichaînes maximales d’un ordre donné. L’ordre développé D(P) est inclus dans le Treillis des antichaînes maximales AM(P), introduit par R.P. Dilworth, en 1960. Dans [3], T.Y. Kong et P. Ribenboim ont montré qu’il existe un entier naturel i tel que Di(P) est une chaîne, où Di(P)=D(D(…D(P))), i fois. On note cdev(P) le plus petit i tel que Di(P) est une chaîne. Nous trouvons cdev(P) pour quelques classes particulières d’ordres et nous faisons une approche de ce paramètre dans le cas d’un ordre quelconque.

5. On the representation of L-M algebra by intuitionistic fuzzy subsets

Zedam Lemnaouar ; Amroune Abdelaziz.
Dans ce travail nous introduisons les notions de alpha-coupes et de alpha-coupes strictes d'un ensemble flou intuitionsiste d'un référentiel X. A l'aide de ces notions, nous montrons que l'ensemble IF(X) des sous-ensembles flous intuitionistes d'un référentiel X admet une structure d'algèbre de Moisil-Lukasiewicz. theta-valente involutive. Réciproquement, nous montrons que toute algèbre de Moisil-Lukasiewicz theta-valente involutive se plonge dans une algèbre des sous-ensembles flous intuitionistes.

6. Mise en oeuvre de tests unitaires dans un contexte de programmation eXtrème répartie

Ibrahim Lokpo ; Michel Babri ; Gérard Padiou.
La programmation eXtrème dite XP (eXtreme Programming) est une méthodologie efficace de développement rapide de logiciels qui exige que les membres d'une équipe de développeurs soient physiquement proches les uns des autres. Des travaux de recherche tentent d'étendre les principes de cette méthodologie à un contexte réparti. Le défi est alors de préserver les qualités fondamentales de l'approche tout en s'affranchissant de la contrainte de proximité physique des développeurs. Notre travail s'inscrit dans cette logique. De façon plus précise, nous proposons de fonder cette extension de XP à un environnement réparti sur l'assistance à la réalisation des tests unitaires, pierre angulaire de la méthodologie XP.

7. A dynamical model of plant growth with full retroaction between organogenesis and photosynthesis

Amélie Rostand-Mathieu ; Paul-Henry Cournède ; Philippe Reffye.
Dans ce papier sont présentés de nouveaux développements mathématiques en modélisation et simulation de la croissance des plantes. GreenLab est un modèle structure-fonction, qui combine l’organogenèse (architecture) et la photosynthèse (production et répartition de biomasse). La rétroaction entre la photosynthèse et l’organogenèse est introduite ici. Nous présentons l’influence de la biomasse disponible sur le nombre de métamères par unité de croissance etsur le démarrage des bourgeons. La théorie est ensuite appliquée à des modèles d’arbre simples, dont on étudie divers comportements.