bluuebunny/crossref_metadata_2025 huggingface dataset:
Coupling Parareal with Non-Overlapping Domain Decomposition Method
Authors: GUETAT Rim
Published: January 2021

In this paper, we present a new parallel algorithm for time dependent problems based on coupling parareal with non-overlapping domain decomposition method in order to increase parallelism in time and in space. For this we focus on the iterative methods of parallization in space to solve the interface problem like Neumann-Neumann method. In the new algorithm, the coarse temporel propagator is defined on the global domain and the Neumann-Neumann method is chosen as a fine propagator with a few iterations. We present the rigorous convergence analysis of the new coupled algorithm on bounded time interval. Numerical experiments illustrate the performance of this new algorithm and confirm our analysis. RÉSUMÉ. Dans ce papier, nous présentons un nouvel algorithme parallèle pour les problèmes dé-pendant du temps basé sur le couplage du pararéel avec les méthodes de décomposition de domaine sans recouvrement afin d'augmenter le parallélisme dans le temps et l'espace. Nous nous concen-trons sur les méthodes itératives de parallélisation en espace pour résoudre le problème d'interface par la méthode de Neumann-Neumann. Dans ce nouvel algorithme, le propagateur grossier est dé-finie sur le domaine global et la méthode de Neumann-Neumann est choisi pour le propagateur fin avec quelques itérations. Nous présentons l'analyse rigoureuse de convergence du nouvel algorithme couplé sur un intervalle de temps borné. Des expèriences numériques illustrent les performances de ce nouvel algorithme et confirment notre analyse.

Dans ce papier, nous présentons un nouvel algorithme parallèle pour les problèmes dépendantdu temps basé sur le couplage du pararéel avec les méthodes de décomposition de domainesans recouvrement afin d’augmenter le parallélisme dans le temps et l’espace. Nous nous concentronssur les méthodes itératives de parallélisation en espace pour résoudre le problème d’interfacepar la méthode de Neumann-Neumann. Dans ce nouvel algorithme, le propagateur grossier est définiesur le domaine global et la méthode de Neumann-Neumann est choisi pour le propagateur finavec quelques itérations. Nous présentons l’analyse rigoureuse de convergence du nouvel algorithmecouplé sur un intervalle de temps borné. Des expèriences numériques illustrent les performances dece nouvel algorithme et confirment notre analyse.
Inverse heat source problem for a coupled hyperbolic-parabolic system
Authors: Bellassoued Mourad , Riahi Bochra
Published: January 2021

Dans ce papier, on a prouvé une estimation de stabilité de type Höldérienne pour un problème inverse de détermination du terme source de l'équation de la chaleur à l'aide d'une inégalité de Carleman pour un système d'équations hyperbolique-parabolique couplé. ABSTRACT. In this paper we consider a coupled system of mixed hyperbolic-parabolic type which describes the Biot consolidation model in poro-elasticity. Using a local Carleman estimate for a coupled hyperbolic-parabolic system, we prove the uniqueness and a Hölder stability in determining the heat source by a single measurement of solution over ω × (0, T), where T > 0 is a sufficiently large time and a suitable subbdomain ω ⊂ Ω such that ∂ω ⊃ ∂Ω. MOTS-CLÉS : Problème inverse, estimation de Carleman, système couplet
Exécution d'un graphe cubique de tâches sur un réseau bi-dimensionnel et asymptotiquement optimal
Authors: Tayou Djamegni Clémentin
Published: January 2021

This work proposes a scheduling strategy, based on re-indexing transformations, for task graphs associated with a linear timing function. This scheduling strategy is used to execute a cubical task graph, for which all the tasks have the sane execution time and inter-tasks communication delays are neglected, on a two-dimensional array of processors which is asymptotically space-optimal with respect to the timing function.

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.
A kinetic model for a two phases flow simulation
Authors: Abdelwahed Mohamed , Badé Rabé , Chaker Hedia
Published: January 2021

This work deals with the modelling and simulation of the air bubble injection effect in a water reservoir. The water phase is modelled by a Navier-Stokes quation in which we integrate the air bubble effect by a source term. This one depends on probability density function described by a kinetic model. For the numerical aspects we used particular method for kinetic equation and mixed finite elements method for Navier-Stokes equations. Finally, we present some numercial results to illustrate the used method.

Dans ce travail, nous nous intéressons à la modélisation et la simulation de l'effet d'injection des bulles d'air dans un réservoir d'eau. La phase eau est modélisée par les équations de Navier-Stokes dans lesquelles on intègre l'effet des bulles d'air par un terme source. Ce dernier dépend d'une fonction densité de probabilité qui est décrite par une équation cinétique de type Vlasov. Pour les aspects numériques, on utilise la méthode particulaire pour l'équation cinétique et la méthode des éléments finis mixte pour les équations de Navier-Stokes. Enfin, nous présentons quelques résultats numériques pour illuster les méthodes utilisées.
Segmentation d'une image couleur par les critères d'information et la théorie des ensembles flous
Authors: Hamzaouil H. , Elmatouat A. , Martin P.
Published: January 2021

In this paper we present an unsupervised color image segmentation algorithm using the information criteria and a fuzzy theory. We propose this method to estimate the number of color image clusters and the optimal radius associated with minimizing the value of the proposed criteria. The experimental results demonstrate that this approach compresses the image in a small number of clusters without losing the informational contents of the image and we reduce the number of parameters using the process of segmentation, we also decrease the computational time. The color image segmentation system has been tested on some usual color images; "House", "Lena", "Monarch" and "Peppers".

Nous nous intéressons dans cet article à ladétermination du nombre de classes d'une image couleur par les critères d'information et la théorie des ensembles flous. Nous montrons que ces critères servent à estimer le nombre de régions d'une image couleur ainsi que le rayon optimal associé. Cette démarche est classée dans la catégorie des méthodes de segmentation non supervisée. Elle entraîne une compression de l'image en un nombre de couleurs représentatif sans perdre le contenu nformationnel de cette dernière. Elle réduit ainsi le nombre de paramètres considérés dans le systéme de la segmentation. Dans la dernière partie de cet article, nous montrons la performance et l'efficacité du nouvel algorithme en segmentant des images couleur tests: "House", "Lena", "Monarch" et "Peppers
Calcul des courants de Foucault harmoniques dans des domaines non bornés par un algorithme de point fixe de Cauchy
Authors: Jelassi Faten
Published: January 2021

We investigate a computing procedure for the unbounded eddy current model put under a coupled finite elements/integral representation form. The exact and non-local artificial condition, enforced on the boundary of the truncated domain, is derived from the simple/double layers potential and the critical point is: how to handle it numerically? An iterating technique, based on the Cauchy fixed point technique, allows us to approximate accurately the solution. The advantage of it is that, at each step, only a bounded eddy current problem with a local condition has to be solved, which is currently carried out by most of the nowadays computing codes conceived to handle value problems on bounded domains.

Nous proposons une méthode itérative pour traiter le modèle des courants induits dans un domaine non borné, réécrit au moyen de la technique des éléments finis couplée à une représentation intégrale. La difficulté majeure est la prise en compte numériquement de la condition exacte artificielle et non-locale imposée sur la frontière fictive du domaine tronqué.Un processus itératif est alors mis au point, fondé sur une technique de point fixe de Cauchy, et qui permet une approximation satisfaisante de la solution. Le gain essentiel est qu'à chaque étape nous avons à résoudre un problème posé sur un domaineborné avec une condition locale au bord, ce qui constitue une tâche relativement aisée pour de nombreux codes de calcul conçus pour traiter les problèmes aux limites sur des bornés.
A method for optimal control problems
Authors: Bokanowski Olivier , Megdich Nadia , Zidani Hasnaa
Published: January 2021

We deal with a numerical method for HJB equations coming from optimal control problems with state constraints. More precisely, we present here an antidissipative scheme applied on an adaptative grid. The adaptative grid is generated using linear quadtree structure. This technique of adaptation facilitates stocking data and dealing with large numerical systems.

On étudie une méthode numérique pour les équations HJB provenant des problèmes de contrôle optimal avec contraintes sur l'état. Plus précisément on présente un schéma antidissipatif sur une grille adaptative. La grille adaptative est générée en utilisant la structure des quadtree linéaires. Cette technique facilite le stockage et la maniabilité des mailles.
Progress of organisational data mining in South Africa
Authors: Hart Mike
Published: January 2021

This paper describes three largely qualitative studies, spread over a five year period, into the current practice of data mining in several large South African organisations. The objective was to gain an understanding through in-depth interviews of the major issues faced by participants in the data mining process. The focus is more on the organisational, resource and business issues than on technological or algorithmic aspects. Strong progress is revealed to have been made over this period, and a model for the data mining organisation is proposed.

Ce papier décrit trois études, à caractère principalement qualitatif, échelonnées sur une période de cinq ans, ayant pour but d’analyser des données exploitées dans diverses organisations Sud Africaines. L’objectif était d’acquérir une plus grande compréhension des problèmes auxquels les participants eurent à faire face dans le processus d’exploitation de données. Des interviews très élaborées furent utilisées. L’accent fut plutôt mis sur les problèmes d’origine commerciales et non pas sur les aspects technologiques et algorithmiques. Durant le cours de nos recherches, des progrès concrets furent réalises et un modèle pour l’exploitation de données fut proposé.
Modèle d'équilibrage de Charge pour les Grilles de Calcul
Authors: Yagoubi Bellabas
Published: January 2021

In order to get a better performance in distributed systems, load balancing problem has been extensively studied in recent years. Most of existing works focus on traditional systems where resources are generally homogeneous, like clusters. For grid infrastructures, this assumption is not totally true because resources of a grid are highly heterogeneous. Hence, load balancing problem for grid computing is a new challenge for scientists. In this paper, we propose a tree-based representation model for grid computing, over which we develop a hierarchical load balancing strategy. The main characteristics of this strategy can be summarized as follows:(i) It uses a task-level load balancing; (ii) It privileges local tasks transfer to reduce communication costs; (iii) It is a distributed strategy with local decision making.

Afin d’obtenir de meilleures performances dans les systèmes répartis, le problème d’équilibrage de charge a été intensivement étudié ces dernières années. La plupart des travaux existants se sont intéressés à des systèmes qui sont plus ou moins homogènes et trouvent quelques difficultés à s’adapter aux caractéristiques des nouvelles infrastructures telles que les grilles de calcul, qui présentent un degré d’hétérogénéité assez élevé. Pour cela, il faut soit adapter, soit définir de nouvelles stratégies d’équilibrage pour ces infrastructures. Dans cette perspective, nous proposons un modèle arborescent de représentation d’une grille de calcul, sur lequel nous développons une stratégie hiérarchique d’équilibrage de charge. Les caractéristiques principales de la stratégie proposée peuvent être résumées comme suit: (i) C’est une stratégie d’équilibrage au niveau des tâches; (ii) Elle favorise un transfert local de tâches dans le but de réduire les coûts de communication; (iii) C’est une stratégie distribuée avec prise de décision locale
Observer design for a fish population model
Authors: El Mazoudi El Houssine , Mrabti mostafa , Elalami Noureddine
Published: January 2021

Our aim is to apply some tools of control to fishing population systems. In this paper we construct a non linear observer for the continuous stage structured model of an exploited fish population, using the fishing effort as a control term, the age classes as a states and the quantity of captured fish as a measured output. Under some biological satisfied assumptions we formulate the observer corresponding to this system and show its exponential convergence. With the Lie derivative transformation, we show that the model can be transformed to a canonical observable form; then we give the explicit gain of the estimation.

Le but de ce travail est d'appliquer des outils de contrôle aux systèmes de population de pêche. on construit un observateurpour un modèle continu structuré en age de population de pêche exploitée qui tient compte des pré-recrutés. Les variables dumodèle: l'effort de pêche, les classes d'age et la capture sont considérés respectivement comme contrôleur, états du systèmes et sa sortie mesurée. Le changement de variables basé sur les dérivés de Lie nous a permis de mettre le système sous une forme canonique observable. La forme explicite de l'observateur est finalement donnée.
Méthodes MCMC en interaction pour l'évaluation de ressources naturelles
Authors: Campillo Fabien , Cantet Philippe , Rakotozafy Rivo , Rossi Vivien
Published: January 2021

Markov chain Monte Carlo (MCMC) methods together with hidden Markov models are extensively used in the Bayesian inference for many scientific fields like environment and ecology. Through simulated examples we show that the speed of convergence of these methods can be very low. In order to improve the convergence properties, we propose a method to make parallel chains interact. We apply this method to a biomass evolution model for fisheries.

Les méthodes de Monte Carlo par chaînes de Markov (MCMC) couplées à des modèles de Markov cachés sont utilisées dans de nombreux domaines, notamment en environnement et en écologie. Sur des exemples simples, nous montrons que la vitesse de convergence de ces méthodes peut être très faible. Nous proposons de mettre en interaction plusieurs algorithmes MCMC pour accélérer cette convergence. Nous appliquons ces méthodes à un modèle d'évolution de la biomasse d'une pêcherie.
Ondes locales dans les milieux hétérogènes - Aspects numériques
Authors: Destuynder Philippe , Wilk Olivier
Published: January 2021

Lorsqu'un milieu présente une vitesse d'onde inférieure à celles de ceux qui l'entourent, un mécanisme de localisation d'énergie vibratoire peut apparaître. Cela provient du fait qu'une partie plus importante de l'énergie est réfléchie du côté du milieu le plus souple. Or la transition conduit à des contraintes d'interface très fortes qui sont susceptibles de créer un endommagement local. Notre ambition est de proposer une stratégie d'évaluation de l'énergie de ces surcontraintes sous forme d'un taux de restitution dynamique de l'énergie totale du système qui ne nécessite pas un calcul très précis au voisinage de l'interface.

At the interface between two media with different wave velocities, local stationary waves can appear. The mechanical explanation is that the reflection of the waves is more important inwards the softest media. The overstressing which appears at the interface between the two media can be at the origin of a damage mechanism. Our goal is to suggest an energetical method in order to be able to compute accurately the energy release rate due to this overstressing without being obliged to use a very refined mesh in the neighbourhood of the interface.
Survey of recent results of multi-compartments intra-host models of malaria and HIV
Authors: Bowong Samuel , Dimi Jean-Luc , Kamgang Jean-Claude , Mbang Joseph , Tewa Jean Jules
Published: January 2021

We present the recent results obtained for the within-host models of malaria and HIV. We briefly recall the Anderson-May-Gupter model. We also recall the Van Den Driessche method of computation for the basic reproduction ratio R0 ; here, a very simple formula is given for a new class of models. The global analysis of these models can be founded in [1, 2, 3, 5]. The results we recall here are for a model of one strain of parasites and many classes of age, a general model of n strains of parasites and k classes of age, a S E1 E2 · · ·En I S model with one linear chain of compartments and finally a general S Ei1 Ei2 · · ·Ein I S model with k linear chains of compartments. When R0 <=1, the authors prove that there is a trivial equilibria calling disease free equilibrium (DFE) which is globally asymptotically stable (GAS) on the non-negative orthant , and when R0 > 1, they prove the existence of a unique endemic equilibrium in the non-negative orthant and give an explicit formula. They provided a weak condition for the global stability of endemic equilibrium

Le travail que nous présentons ici est un résumé de quelques résultats récents obtenus dans [1, 2, 3, 5] concernant les modèles intra-hôtes multi-compartimentaux. Il s’agit d’une analyse mathématique et globale des modèles intra-hôtes de paludisme et de V.I.H . Mais avant de présenter ces résultats, nous rappelons d’abord la méthode de calcul développée par Van Den Driessche[71] concernant le taux de reproduction de base R0 car c’est cette méthode qu’utilisent les auteurs dans leur analyse. Ces modèles sont dits de Anderson-May-Gupter dont le modèle original est considéré comme précurseur. Une formule simple est donnée ici pour le calcul de R0 dans les modèles étudiés. Les résultats que nous rappelons ici sont obtenus pour un modèle du paludisme à un génotype de parasites et k classes d’âge, le modèle général à n génotypes de parasites et k classes d’âge, un modèle S E1 E2 · · ·En I S avec une chaîne linéaire de parasites et enfin le modèle général S Ei1 Ei2 · · ·Ein I S avec k chaîne linéaire de parasites. Lorsque R0 1, les auteurs montrent qu’il existe un point d’équilibre évident, le DFE (Disease Free Equilibrium) qui est GAS (globalement asymptotiquement stable) sur l’orthant positif. Lorsque R0 > 1, ils montrent l’existence d’un unique équilibre endémique dans l'orthant positif et moyennant une petite condition ils montrent que cet équilibre est globalement asymptotiquement stable.
Computational probability modeling and Bayesian inference
Authors: Campillo Fabien , Rakotozafy Rivo , Rossi Vivien
Published: January 2021

Computational probabilistic modeling and Bayesian inference has met a great success over the past fifteen years through the development of Monte Carlo methods and the ever increasing performance of computers. Through methods such as Monte Carlo Markov chain and sequential Monte Carlo Bayesian inference effectively combines with Markovian modelling. This approach has been very successful in ecology and agronomy. We analyze the development of this approach applied to a few examples of natural resources management.

La modélisation probabiliste et l'inférence bayésienne computationnelles rencontrent un très grand succès depuis une quinzaine d'années grâce au développement des méthodes de Monte Carlo et aux performances toujours croissantes des moyens de calcul. Au travers d'outils comme les méthodes de Monte Carlo par chaîne de Markov et les méthodes de Monte Carlo séquentielles, l'inférence bayésienne se combine efficacement à la modélisation markovienne. Cette approche est également très répandue dans le domaine de l'écologie et l'agronomie. Nous faisons le point sur les développements de cette approche appliquée à quelques exemples de gestion de ressources naturelles.
Proposition pour l’intégration des réseaux petits mondes en recherche d’information
Authors: Khazri Mohamed , Tmar Mohamed , Abid Mohamed , Boughanem Mohand
Published: January 2021

We propose in this paper an approach for document clustering. It consists of representing the corpus as a document graph, where the links are defined by some criteria. These links are quantified by simialrity measures. We aim join this context into the approach of classification to constitute small-worlds networks of homogeneous documents. The homogeneity of the clusters is measured according to the properties of small worlds. The clusters, as well as their proprietes, allow to rerank search results. Some experiments were done on a corpus provided by TREC and the obtained results show the contribution of small-worlds networks in information retrieval.

Nous proposons dans ce papier une approche de classification d’un corpus de documents. Elle consiste en une représentation du corpus sous forme de graphe, où les liens sont définis par certains critères. Ces liens sont quantifiés par des mesures de similarité. Nous visons à intégrer ce contexte dans l’approche de classification afin de constituer des réseaux petits mondes de documents homogènes. L’homogénéité des classes est valuée suivant les propriétés des réseaux petits mondes. Les classes, ainsi que leurs propriétés, nous servent au ré-ordonnancement de documents résultats de recherche. Quelques expérimentations ont été menées sur un corpus issu de TREC 1 et les résultats obtenus montrent l’apport des réseaux petits mondes en recherche d’information.
Optimisation multicritère : Une approche par partage des variables
Authors: Aboulaich Rajae , Habbal Abderrahmane , Moussaid Noureddine
Published: January 2021

We are interested here, in multi-criteria optimization problem using game theory. This problem will be treated by using a new algorithm for the splitting of territory in case of concurrent optimization, which presents a new formulation of Nash games between two players using two tables of allocations. Each player minimizes his cost function using the variables allocated by his own table. The two tables are given by an iterative algorithm. An image processing problem is addressed by using the proposed algorithms.

On s’intéresse, dans ce travail, à un problème d’optimisation multi-critère en utilisant la théorie des jeux. Ce problème est traité en utilisant de nouveaux algorithmes pour le partage de territoire dans le cas d’une optimisation concourante. Il s’agit de présenter une formulation de jeux de Nash entre deux joueurs en utilisant deux tableaux d’allocation. Chaque joueur minimise sa fonction coût en agissant sur les variables allouées par son propre tableau. Les deux tableaux sont à construire grâce à un algorithme itératif. Une application de ces algorithmes à un problème de traitement d’images est considérée.
Outils d’aide à la décision pour la planification des réseaux de distribution de l’énergie électrique
Authors: El Yassini Khalid , Zine Rabie , Raïssouli Mustapha
Published: January 2021

The continued growth in demand for electricity is a increasingly challenge for the company. This requires great efforts to optimize decisions to be taken especially for managing the distribution of electricity which poses many problems in society, primarily due to the expansion of the network, increased consumption Power and real-time management. As the strengthening of electrical networks is difficult and expensive at the same time, it is necessary to choose an optimal management to ensure customer satisfaction, reduce costs and increase profit margins. In this work, we propose a few different optimization methods to solve partially or globally this problem, allowing to make appropriate choices.

La croissance continue de la demande en énergie électrique présente de plus en plus de défis pour la société. Ce phénomène nécessite de grands efforts pour l’optimisation des décisions à prendre surtout pour la gestion de la distribution de l’énergie électrique qui pose de nombreux problèmes à la société, dus principalement à l’extension du réseau, l’augmentation de la consommation d’énergie électrique et à la gestion en temps réel. Comme le renforcement des réseaux électriques est difficile et coûteux en même temps, il est nécessaire d’opter pour une gestion optimale afin de garantir la satisfaction des clients, réduire les dépenses et augmenter la marge bénéficiaire. Dans ce travail, on proposera quelques différentes méthodes d’optimisation afin de résoudre partiellement ou globalement ce problème et permettre à la société de prendre les choix appropriés.
Segmentation d’Images Texturées Couleur à l’aide de modèles paramétriques pour approche la distribution des erreurs de prédiction linéaires
Authors: Qazi Imtnan-Ul-Haque , Alata O. , Burie J.-C. , Moussa A. , Fernandez-Maloigne Christine
Published: January 2021

We propose novel a priori parametric models to approximate the distribution of the two dimensional multichannel linear prediction error in order to improve the performance of color texture segmentation algorithms. Two dimensional linear prediction models are used to characterize the spatial structures in color images. The multivariate linear prediction error of these texture models is approximated with Wishart distribution and multivariate Gaussian mixture models. A novel color texture segmentation framework based on these models and a spatial regularization model of initial class label fields is presented. For the proposed method and with different color spaces, experimental results show better performances in terms of percentage segmentation error, in comparison with the use of a multivariate Gaussian law.
Multigrid methods and data assimilation ― Convergence study and first experiments on non-linear equations
Authors: Neveu Emilie , Debreu Laurent , Le Dimet François-Xavier
Published: January 2021

In order to limit the computational cost of the variational data assimilation process, we investigate the use of multigrid methods to solve the associated optimal control system. On a linear advection equation, we study the impact of the regularization term and the discretization errors on the efficiency of the coarse grid correction step introduced by the multigrid method. We show that even if for a perfect numerical model the optimal control problem leads to the solution of an elliptic system, discretization errors introduce implicit diffusion that can alter the success of the multigrid methods. Then we test the multigrids configuration and the influence of the algorithmic parameters on a non-linear Burgers equation to show that the algorithm is robust and converges much faster than the monogrid one.

Afin de limiter le coût de calcul lié aux méthodes variationnelles d’assimilation de données, nous nous intéressons ici à l’utilisation de méthodes multigrilles pour la résolution de systèmes de contrôle optimal. Sur un modèle simple d’advection linéaire, nous étudions l’impact du terme de régularisation du contrôle optimal ainsi que l’impact des erreurs de discrétisation sur l’efficacité de la correction grille grossière introduite par cette méthode. En particulier, nous montrons que pour un modèle numérique parfait, le problème de contrôle optimal est elliptique mais que les erreurs de discrétisation introduisant une diffusion implicite peuvent altérer les performances de la méthode multigrille. Enfin, sur une équation de Burgers, non linéaire, nous étudions l’influence des différents paramètres inhérents aux méthodes multigrilles et montrons que ces méthodes sont robustes et convergent beaucoup plus rapidement que les méthodes monogrilles.
Cohérence de vues dans la spécification des Architectures Logicielles
Authors: Kouamou Georges-Edouard
Published: January 2021

Cet article s’intéresse à la spécification des architectures logicielles. Il présente une symbiose entre l’approche conceptuelle basée sur les profils UML et la vision opérationnelle prônée par ArchJava. Actuellement, chaque langage de description se situe à une extrémité du processus, engendrant ainsi un découplage entre la spécification des Architectures Logicielles et leur implémentation et un risque d’incohérence. Nous décrivons une démarche basée sur un profil UML pour la description structurale des architectures logicielles et des règles de transformation pour générer le code source. Les expérimentations actuelles sont probantes et nous espérons poursuivre la réflexion sur les configurations et l’aspect dynamique.

This study concerns the specification of software architecture. Its presents a symbiosis between the conceptual approach based on UML profiles and the programming approach recommended by ArchJava. Currently, each ADL addresses separately the specification and the validation, thus we notice a decoupling between the two descriptions and a risk of inconsistency. We describe a step based on a UML profiles for the structural description of software architectures and the transformation rules to generate the source code. The current experiments are convincing and we hope ourselves to continue the reflexion on the configurations and the dynamic aspect.
A posteriori error estimates for non conforming approximation of quasi Stokes problem
Authors: Achchab B. , Agouzal A. , Bouihat K.
Published: January 2021

We derive and analyze an a posteriori error estimator for nonconforming finite element approximation for the quasi-Stokes problem, which is based on the solution of local problem on stars with low cost computation, this indicator is equivalent to the energy error norm up to data oscillation, neither saturation assumption nor comparison with residual estimator are made.
Some efficient methods for computing the determinant of large sparse matrices
Authors: Kamgnia Emmanuel , Nguenang Louis Bernard
Published: January 2021

The computation of determinants intervenes in many scientific applications, as for example in the localization of eigenvalues of a given matrix A in a domain of the complex plane. When a procedure based on the application of the residual theorem is used, the integration process leads to the evaluation of the principal argument of the complex logarithm of the function g(z) = det((z + h)I - A)/ det(zI - A), and a large number of determinants is computed to insure that the same branch of the complex logarithm is followed during the integration. In this paper, we present some efficient methods for computing the determinant of a large sparse and block structured matrix. Tests conducted using randomly generated matrices show the efficiency and robustness of our methods.

Le calcul de déterminants intervient dans certaines applications scientifiques, comme parexemple dans le comptage du nombre de valeurs propres d’une matrice situées dans un domaineborné du plan complexe. Lorsqu’on utilise une approche fondée sur l’application du théorème desrésidus, l’intégration nous ramène à l’évaluation de l’argument principal du logarithme complexe de lafonction g(z) = det((z + h)I − A)/ det(zI − A), en un grand nombre de points, pour ne pas sauterd’une branche à l’autre du logarithme complexe. Nous proposons dans cet article quelques méthodesefficaces pour le calcul du déterminant d’une matrice grande et creuse, et qui peut être transforméesous forme de blocs structurés. Les résultats numériques, issus de tests sur des matrices généréesde façon aléatoire, confirment l’efficacité et la robustesse des méthodes proposées.
Une approche d'implémentation des dictionnaires de métadonnées pour la fédération de données géographiques multisource
Authors: Tongo Landry , Kouamou Georges-Edouard , Tchudjo Gilbert Armand
Published: January 2021

Spatial Metadata are used to describe the existing data sources in order to facilitate their access and sharing between different actors. The problem of exploitation of these metadata arises when they should be catalogued within the framework of a platform for spatial data federation. We describe a service oriented approach for structuring this component, with an implementation based on LDAP. To achieve this, we start from a canonical language that unifies the major known geographic metadata standards, and then we define new classes of LDAP objects which map syntactic units of canonical language.
Scheduling an aperiodic flow within a real-time system using Fairness properties
Authors: Choquet-Geniet Annie , MALO Sadouanouan
Published: January 2021

We consider hard real-time systems composed of periodic tasks and of an aperiodic flow. Each task, either periodic or aperiodic, has a firm deadline. An aperiodic task is accepted within the system only if it can be completed before its deadline, without causing temporal failures for the periodic tasks or for the previously accepted aperiodic tasks. We propose an acceptance test, linear in the number of pending accepted aperiodic tasks. This protocol can be used provided the idle slots left by the periodic tasks are fairly distributed. We then propose a model-driven approach, based on Petri nets, to produce schedules with a fair distribution of the idle slots for systems of non independent periodic tasks.

Nous considérons des systèmes temps-réel composés de tâches périodiques et d’un fluxapériodique. Toutes les tâches, périodiques comme apériodiques, sont soumises à des échéancesstrictes. Une tâche apériodique n’est acceptée que si elle ne remet pas en cause le respect deséchéances par les tâches périodiques et par les tâches apériodiques déjà acceptées. Nous proposonsun protocole d’acceptation des tâches apériodiques de complexité linéaire en le nombre de tâchesapériodiques acceptées présentes dans le système. Ce protocle est utilisable dès lors que les tempscreux sont répartis de manière équitable. Nous proposons donc une approche modèle, à base deréseaux de Petri, pour produire des séquences où les temps creux sont équitablement répartis, pourdes systèmes de tâches interdépendantes.
Préface/Foreword
Authors: Badouel Eric , Tchuenté Maurice
Published: January 2021

Forword CRI 2013
Foreword
Authors: Badouel Eric , Lo Moussa , Sellami Mokhtar
Published: January 2021

Foreword to the special issue of ARIMA Journal dedicated to CARI'14

Avant propos au numéro spécial de la revue ARIMA dédié au CARI'14.
Discovering frequent patterns guided by an ontology
Authors: TRAORE Yaya , DIOP Cheikh Talibouya , MALO Sadouanouan , Lo Moussa , Ouaro Stanislas
Published: January 2021

The frequent pattern mining generates a huge amount of patterns and therefore requires the establishment of an effective post-treatment to target the most useful. This paper proposes an approach to discover the useful frequent patterns that integrates knowledge described by the expert and represented in an ontology associated with the data. The approach uses the ontology for benefit from more structured information to remove some frequent patterns of the analysis. The experiments realized with our approach give satisfactory results.

L'extraction des motifs fréquents en fouille de données génère une quantité énorme de motifs fréquents et requiert par conséquent la mise en place d'un post-traitement efficace afin de cibler les motifs fréquents les plus utiles. Cet article propose une approche de découverte de motifs fréquents utiles qui intègre les connaissances décrites par l'expert et représentées dans une ontologie associée aux données. L'approche utilise l'ontologie pour bénéficier de plus d'informations structurées afin d'éliminer certains motifs fréquents de l'analyse. Les expérimentations réalisées avec notre approche donnent des résultats satisfaisants.
Global stability of a fractional order HIV infection model with cure of infected cells in eclipse stage
Authors: Bachraoui Moussa , Hattaf Khalid , Yousfi Noura
Published: January 2021

Modeling by fractional order differential equations has more advantages to describe the dynamics of phenomena with memory which exists in many biological systems. In this paper, we propose a fractional order model for human immunodeficiency virus (HIV) infection by including a class of infected cells that are not yet producing virus, i.e., cells in the eclipse stage. We first prove the positivity and bound-edness of solutions in order to ensure the well-posedness of the proposed model. By constructing appropriate Lyapunov functionals, the global stability of the disease-free equilibrium and the chronic infection equilibrium is established. Numerical simulations are presented in order to validate our theoretical results.
FE approximation for an hybrid Naghdi equations for shells with G 1 -midsurface
Authors: Refka Barbouche
Published: January 2021

The purpose of this present work is to consider an hybrid formulation of Naghdi’s shell with G1-midsurface of the model already introduced by H. Le Dret in [1] and prove its well-posedness. Here, the displacement and the rotation of the normal to the midsurface are respectively given in Cartesian and local covariant or contravariant basis. This new version enables us, in particular, to approximate by conforming finite elements the solution with less degrees of freedom. Numerical tests are given to illustrate the efficiency of our approach.

Le but de ce travail est de considérer une formulation hybride de la coque de Naghdi avec une surface moyenne G 1 du modèle déjà introduit par H. Le Dret dans [1] et de prouver sa bonne posture. Ici, le déplacement et la rotation de la normale à la surface moyenne sont donnés respectivement en une base cartésienne et une base locale covariante ou contravariante. Cette nouvelle version nous permet, en particulier, d'approximer la solution par des éléments finis conformes avec moins degrés de liberté. Des tests numériques sont donnés pour illustrer l'efficacité de notre approche.
Nonlinear Control for Isolated DC MicroGrids
Authors: Perez Filipe , Damm Gilney , Lamnabhi-Lagarrigue Francoise , Ribeiro Paulo
Published: January 2021

The access to electricity for isolated communities is capital for improving life in those societies. The use of renewable energy sources (renewables) and energy storage systems is the key for clean energy supply in remote areas without the main grid. The standalone operation of renew-ables represents a challenge for operation and reliability, therefore the DC MicroGrid concept is seen as a powerful solution allowing renewables integration and reliable operation of the system is simple way. This paper proposes a distributed nonlinear control strategy for an isolated MicroGrid composed of renewables and different timescale storage systems to supply a DC load. The simulations results show the behavior of the proposed MicroGrid and a comparison with classical linear control is done to highlight the control performance.

L'accès à l'électricité pour les communautés isolées est un capital pour améliorer la vie dans ces sociétés. L'utilisation de sources d'énergie renouvelables et de systèmes de stockage d'énergie est la clé pour l'approvisionnement en énergie propre dans les zones reculées sans réseau principal. Le fonctionnement autonome des énergies renouvelables représente un défi pour l'exploitation et la fiabilité, par conséquent, le concept DC MicroGrid est considéré comme une solution puis-sante permettant l'intégration des énergies renouvelables et un fonctionnement fiable du système de manière simple. Cet article propose une stratégie de contrôle non linéaire distribuée pour un Micro-Grid isolé composé d'énergies renouvelables et de différents systèmes de stockage à l'échelle du temps pour fournir une charge continue. Les résultats des simulations montrent le comportement du MicroGrid proposé et une comparaison avec le contrôle linéaire classique est effectuée pour mettre en évidence les performances du contrôle.
Development of ideas within the framework of the genetic approach to the classification of forest types
Authors: Fomin Valery , Mikhailovich Anna , Zalesov Sergey , Popov Artem , Terekhov Gennadiy
Published: January 2021

This paper presents an analysis of achievements and the current state of one of the main trends of forest typological studies in the Russian Federation, namely, the genetic approach to the classification of forest types. The article describes the theoretical foundations of genetic typologies created by the founders of this approach. The article explains the relationship between the concepts of the forest-forming process and forest types. This article also includes a detailed description of the concept of forest-forming epochs according to the degree and depth of human impact on forests, as well as the forms and technical means of this impact, with examples of the practical use of genetic typologies in forest engineering and management. The article provides an analysis of the main directions of development and improvement of genetic typologies, taking into account anthropogenic impacts at different levels and strengths, climate change, and the use of new technologies to reveal the potential of the genetic approach to the classification of forest types.
Una iconografía de nuestro padre Jesús Nazareno en los orígenes de la Semana Santa: El Santo Cristo de los ajusticiados, la Catedral de Sevilla y el pintor Luis de Vargas.
Authors: Gámez Martín José
Published: January 2021

En 1561 la Hermandad Sacramental del Sagrario de la catedral de Sevilla solicita a los calonges se exorne la pared de su capilla en las gradas por lo que el cabildo encarga al pintor Luis de Vargas realice una pintura mural de Jesús camino de la amargura. La obra es estrenada en 1563 y en ella se representa al Redentor ataviado con túnica blanca de igual modo que los condenados que por allí pasaban camino del patíbulo y portando la cruz al revés. El llamado popularmente “Cristo de los Ajusticiados” es un claro exponente de un retablo callejero que tanta devoción popular manifestó en la España de la Edad Moderna.
D. José María Salvador y Barrera, obispo, senador y académico
Authors: Ramírez Jerez Pablo
Published: January 2021

El presente artículo traza la semblanza intelectual y profesional del religioso José Mª Salvador y Barrera (1851-1919), natural de Marchena, que llegó a ser Rector del Colegio del Sacro Monte de Granada, Obispo de Tarazona, Obispo de Madrid-Alcalá, Arzobispo de Valencia y Senador, y que dedicó todos sus esfuerzos a defender la enseñanza religiosa y la acción social de la Iglesia desde los altos puestos que ocupó. Fue además un excelente orador y persona de gran cultura, siendo reconocida su labor por las Reales Academias de la Historia y de Ciencias Morales y Políticas, que le eligieron como académico de número. El obispo Salvador fue realmente uno de los prelados más competentes y aperturistas de los dos primeros decenios del siglo XX.
Enquanto espero a quarentena passar
Authors: Da Silva Junior Joseeldo , Vieira da Silva Francisco
Published: January 2021

Objetivo: Este artigo intenta analisar materialidades do projeto intitulado Projetando Poesias, de modo a investigar como se produzem estratégias discursivas e de resistência em tais dizeres. O movimento ganhou notoriedade durante o período de pandemia do novo coronavírus (Sars-Cov-2) no contexto do distanciamento social no Brasil. As projeções mapeadas (vídeo mappimngs), consideradas como uma nova prática de manifestação urbana, consistem, como o próprio nome sugere, em projetar imagens ou textos em parte de prédios ou edifícios. Metodologia: A análise dos dados segue a perspectiva dos estudos discursivos de Michel Foucault. A metodologia segue um viés descritivo-interpretativo de natureza qualitativa. Resultado: O estudo das projeções mapeadas permitiu observar a existência de estratégias discursivas nas quais o sujeito que enuncia deixa entrever uma subjetividade sufocada em tempos de confinamento social. A resistência desses dizeres reside na possibilidade de trazer a arte literária como uma possibilidade de fruição e liberdade estética numa conjuntura de isolamento, a partir da ressignificação dos espaços urbanos.
Literarisches Lernen im Spiegel internationaler Forschung
Authors: Winkler Iris
Published: January 2021

Der vorliegende Beitrag stellt die These auf, dass die deutschsprachige Literaturdidaktik von einer stärkeren Berücksichtigung internationaler Forschung in mehrfacher Hinsicht profitieren kann. Dabei geht er von zwei in der deutschsprachigen Literaturdidaktik weithin akzeptierten Grundannahmen zum literarischen Lernen aus: erstens der Annahme, dass dem Wechselspiel von leser- und textorientierten Zugängen eine besondere Bedeutung beikommt, und zweitens der Annahme, dass das literarische Gespräch bei Einhaltung vorwiegend normativ gesetzter Kriterien eine zentrale Lehr- und Lernform ist. Zur Untersetzung dieser These wird der aktuelle deutschdidaktische Forschungsstand in Relation zu englischsprachigen internationalen literaturdidaktischen Forschungen gesetzt, die die ausgewählten Grundannahmen tangieren. Aus der gewählten Perspektive werden im deutschsprachigen Diskurs vorherrschende Annahmen und Befunde teils bestätigt, teils erweitert, teils in ein neues Licht gerückt.
Test-Retest Reliability of Ukrainian Version of the Haemo-Qol Questionnaire
Authors:   Danylo Halytskyi Lviv National Medical University, Lviv, Ukraine, Markin Andriy , Dubei Leonid ,   Danylo Halytskyi Lviv National Medical University, Lviv, Ukraine
Published: January 2021

Background: Today psychometric characteristics of Ukrainian version of the questionnaire Haemo-QoL remain insufficiently researched. This publication describes the procedure and results of the test-retest reliability of this questionnaire in children with hemophilia A. Objectives: Study the test-retest reliability of the Ukrainian version of the Haemo-QoL questionnaire for assessing the health-related quality of life (HRQoL) in children with hemophilia A, and determine the possibility of its use in practical and theoretical medicine in terms of time reliability. Methods: The quality of life assessment (QoLA) was performed using the correspondence method, by interviewing 32 children with hemophilia A (self-report) and 32 parents of the children (proxy-report). The questioning was conducted twice at intervals of 4-6 weeks (primary test and re-test). The Haemo-QoL questionnaire version of age group I (4-7 years old), II (8-12 years old) or age group III (13-16 years) was used to measure the quality of life in children with hemophilia; and three versions were used for parents of children of corresponding age groups. These interviews were analyzed, the correlation between the data of primary test and re-test was determined using Spearman's rho, Pearson correlation coefficients, Wilcoxon’s W criterion, Cohen's d effect size was determined for separate comparisons. Results: HRQoL indices are not statistically different between tests on all scales (p>0.05), except for the “Family” and “Others” scales (p<0.05). Total HRQoL is statistically different (p=0.0013), however, with a median difference of 0.25 only and an average absolute difference variability of 1.67 ± 1.51 (5.42 ± 2.83%). Total HRQoL in parent versions did not change statistically, unlike the children’s versions, but the difference between the tests was only 1.32 and Cohen’s d ES - 0.08. For versions Ip, IIp, IIIc/p there was no statistical difference, the versions Ic and II statistically differed (p=0.038; t=-2.39 and p=0.0022; t=-3.98, respectively) with a mean difference of 2.0 and 1.6, respectively. Conclusion: The Ukrainian version of the Haemo-QoL questionnaire has sufficient test-retest reliability for quantitative dynamic reflection HRQoL in patients with haemophilia A.