bluuebunny/crossref_metadata_2025_split huggingface dataset:
Approche structurelle des systèmes, de la géométrie à la théorie des graphes
Authors: Dion Jean-Michel , Commault Christian 
Published: January 2021

In this work, which was presented at the conference in honor of Claude Lobry, we focus on a structural approach of systems which was the mainstream of our research. The modeling ability of this approach and the power of the associated graph tools are enlightened. As an illustration we consider the disturbance decoupling problem by measurement feedback and solve this problem using geometric and graph techniques
Dans ce travail présenté au colloque scientifique organisé en l’honneur de Claude Lobry nous nous focalisons sur une approche structurelle des systèmes qui a été le fil conducteur de beaucoup de nos travaux. Les capacités de modélisation de cette approche et la puissance de l’outil graphique associé sont mises en lumière. A titre d’illustration on considère le problème de rejet de perturbations par retour de mesure en utilisant des outils géométriques et graphiques.
Interval numerical observer: Application to a discrete time nonlinear fish model
Authors: Guiro Aboudramane , Iggidr Abderrahman , Ngom Diène 
Published: January 2021

The aim of this work is to reconstitute the state of a discrete-time nonlinear system representing a dynamical model of a harvested fish population. For this end, we are going to use a numerical method of building an interval observer for the consider discrete-time model fish population. We adapt to this model an algorithm called "Interval Moving Horizon State Estimation" (IMHSE) which gives an estimated interval of the system states. This algorithm is carried out in [8] and work well for a general class of discrete-time systems.
Le but de ce travail est de reconstruire les états d’un système discret non linéaire représentant la dynamique d’une population de poissons soumise à l’action de la pêche. Pour cela nous allons utiliser une méthode numérique de synthèse d’un observateur intervalle du modèle discret de la population de poissons considéré. Nous adaptons à ce modèle un algorithme appelé "Interval Moving Horizon State Estimation" (IMHSE) qui permet d’estimer les états du système par des intervalles. Cet algorithme est développé dans [8] et marche bien pour une classe générale de systèmes discrets.
Nouvelle approche d’accélération du codage fractal d’images
Authors: Douda Sofia , El Imrani Abdelhakim , Limouri Mohammed 
Published: January 2021

The Fractal image compression has the advantage of presenting fast decoding and independent resolution but it suffers of slow encoding phase. In the present study, we propose to reduce the computational complexity by using two domain pools instead of one domain pool and encoding an image in two steps (AP2D approach). AP2D could be applied to classification methods or domain pool reduction methods leading to more reduction in encoding phase. Indeed, experimental results showed that AP2D speed up the encoding time. The time reduction obtained reached a percentage of more than 65% when AP2D was applied to Fisher classification and more than 72% when AP2D was applied to exhaustive search. The image quality was not altered by this approach while the compression ratio was slightly enhanced.
La compression fractale d’images permet un décodage rapide et une indépendance de la résolution mais souffre d’une lenteur dans le codage. Le présent travail présente une approche visant à réduire le temps de calcul en utilisant deux dictionnaires et une approximation de l’image en deux étapes (AP2D). L’approche AP2D peut être appliquée aux méthodes de classification ou aux méthodes de réduction du cardinal du dictionnaire et ainsi réduire davantage le temps de codage. Les résultats expérimentaux ont montré que AP2D appliquée à une recherche exhaustive a atteint un gain de temps de plus de 72%. De même AP2D appliquée à la classification de Fisher a permis une réduction de temps de codage de plus de 65%. La qualité de l’image n’a pas été altérée par cette approche et le taux de compression a légèrement augmenté.
Un modèle de composition des services web sémantiques
Authors: Temglit N. , ALIANE H. , Ahmed Nacer M. 
Published: January 2021

The work presented here aims to provide a composition model of semantic web services. This model is based on a semantic representation of domain concepts handled by web services, namely, operations and the static concepts used to describe static properties of Web services. Different levels of abstraction are given to the concept of operation to allow gradual access to concret services. Thus, two different levels of the composition plan are generated (abstract and concret). This will reuse plans already constructed to meet similar needs even with modified preferences.
Le travail présenté ici vise à proposer un modèle pour la composition des services web sémantiques. Ce modèle est basé sur une représentation sémantique de l'ensemble des concepts manipulés par les services web d’un domaine d'application, à savoir, les opérations et les concepts statiques utilisés pour décrire les propriétés des services web. Différents niveaux d'abstraction sont donnés au concept opération pour permettre un accès progressif aux services concrets. Ainsi, deux plans de composition à granularités différentes (abstrait et concrets) sont générés. Ceci permettrade réutiliser des plans déjà construits pour répondre à des besoins similaires et même avec despréférences modifiées.
Distributed Load Balancing Model for Grid Computing
Authors: Yagoubi Belabbas , Meddeber Meriem 
Published: January 2021

Most of the existing load balancing strategies were interested in distributed systems which were supposed to have homogeneous resources interconnected with homogeneous and fast networks. For Grid computing, these assumptions are not realistic because of heterogeneity, scalability and dynamicity characteristics. For these environments the load balancing problem is then a new challenge presently for which many research projects are under way. In this perspective, our contributions through this paper are two folds. First, we propose a distributed load balancing model which can represent any Grid topology into a forest structure. After that, we develop on this model, a load balancing strategy at two levels; its principal objectives : the reduction of average response time of tasks and their transferring cost. The proposed strategy is naturally distributed with a local decision, which allows the possibility of avoiding use of wide area communication network.
La plupart des stratégies d’équilibrage de charge existantes se sont intéressées à des systèmes distribués supposés avoir des ressources homogènes interconnectées à l’aide de réseaux homogènes et à hauts débits. Pour les grilles de calcul, ces hypothèses ne sont pas réalistes à cause des caractéristiques d’hétérogénéité, de passage à l’échelle et de dynamicité. Pour ces environnements, le problème d’équilibrage de charge constitue donc, un nouveau défi pour lequel plusieurs recherches sont actuellement investies.Notre contribution dans cette perspective à travers ce papier est double: premièrement, nous proposons un modèle distribué d’équilibrage de charge, permettant de représenter n’importe quelle topologie de grille en une structure de forêt. Nous développons ensuite sur ce modèle, une stratégie d’équilibrage à deux niveaux ayant comme principaux objectifs la réduction du temps de réponse moyen et le coût de transfert de tâches. La stratégie proposée est de nature distribuée avec une prise de décision locale, ce qui permettra d’éviter le recours au réseau de communication à large échelle.
Optimisation de forme fluide-structure par un jeu de Nash
Authors: Abou El Majd B. , Desideri J.-A. , Habbal A. 
Published: January 2021

This paper aims at the development of innovating methods for optimum design for multidisciplinary optimization problems in the aeronautical context. The subject is the treatment of a problem of concurrent optimization in which the aerodynamicist interacts with the structural designer, in a parallel way in a symmetric Nash game. Algorithms for the calculation of the equilibrium point have been proposed and successfully tested for this coupled aero-structural shape optimization in a situation where the aerodynamical criterion is preponderant.
Cet article a pour objectif le développement de méthodes numériques innovantes pour la conception optimale de forme pour les problèmes d’optimisation multidisciplinaire dans un contexte aéronautique. On cherche à traiter un problème d’optimisation concourante où le concepteur aérodynamique interagit avec le concepteur structural, parallèlement dans un jeu symétrique de Nash. On a proposé et expérimenté avec succès des algorithmes de calcul d’équilibre pour cette optimisation couplée aéro-structurale dans une situation où le critère aérodynamique est prépondérant.
A Preconditioned Richardson Regularization for the Data Completion Problem and the Kozlov-Maz’ya-Fomin Method
Authors: Thang Du Duc , Jelassi Faten 
Published: January 2021

Using a preconditioned Richardson iterative method as a regularization to the data completion problem is the aim of the contribution. The problem is known to be exponentially ill posed that makes its numerical treatment a hard task. The approach we present relies on the Steklov-Poincaré variational framework introduced in [Inverse Problems, vol. 21, 2005]. The resulting algorithm turns out to be equivalent to the Kozlov-Maz’ya-Fomin method in [Comp. Math. Phys., vol. 31, 1991]. We conduct a comprehensive analysis on the suitable stopping rules that provides some optimal estimates under the General Source Condition on the exact solution. Some numerical examples are finally discussed to highlight the performances of the method.
L’objectif est d’utiliser une méthode itérative de Richardson préconditionnée comme une technique de régularisation pour le problème de complétion de données. Le problème est connu pour être sévèrement mal posé qui rend son traitement numérique ardu. L’approche adoptée est basée sur le cadre variationnel de Steklov-Poincaré introduit dans [Inverse Problems, vol. 21, 2005].L’algorithme obtenu s’avère être équivalent à celui de Kozlov-Maz’ya-Fomin parû dans [Comp. Math. Phys., vol. 31, 1991]. Nous menons une analyse complète pour le choix du critère d’arrêt, et établissons des estimations optimales sous les Conditions Générale de Source sur la solution exacte. Nous discutons, enfin, quelques exemples numériques qui confortent les pertinence de la méthode.
Procédures d’échantillonnage efficaces : Estimation de la fiabilité des systèmes séries/parallèles
Authors: Benkamra Zohra , Terbeche Mekki , Tlemcani Mounir 
Published: January 2021

This work consists to determine in a practical and straightforward manner some efficient sequential sampling schemes in order to estimate the product of Bernoulli parameters. The sampling schemes given by the literature are complex and costly. The results are useful for estimating the reliability of series/parallel systems where the allocation of the number of units to be tested from each component can be effective for minimizing the variance of the estimator.
Ce travail consiste à déterminer, de façon pratique et facile à utiliser, des plans séquentiels d’échantillonnage efficaces pour estimer le produit de paramètres de Bernoulli. Les procédures d’échantillonnage fournies par la littérature sont complexes et coûteuses. Les résultats sont utiles pour estimer la fiabilité des systèmes en série/parallèle où le choix du nombre des unités à tester dans chaque composant peut être effectif pour minimiser la variance de l’estimateur.
Parallel GMRES with a multiplicative Schwarz preconditioner
Authors: Nuentsa Wakam Désiré , Atenekeng-Kahou Guy-Antoine 
Published: January 2021

This paper presents a robust hybrid solver for linear systems that combines a Krylov subspace method as accelerator with a Schwarz-based preconditioner. This preconditioner uses an explicit formulation associated to one iteration of the multiplicative Schwarz method. The Newtonbasis GMRES, which aim at expressing a good data parallelism between subdomains is used as accelerator. In the first part of this paper, we present the pipeline parallelism that is obtained when the multiplicative Schwarz preconditioner is used to build the Krylov basis for the GMRES method. This is referred as the first level of parallelism. In the second part, we introduce a second level of parallelism inside the subdomains. For Schwarz-based preconditioners, the number of subdomains are keeped small to provide a robust solver. Therefore, the linear systems associated to subdomains are solved efficiently with this approach. Numerical experiments are performed on several problems to demonstrate the benefits of using these two levels of parallelism in the solver, mainly in terms of numerical robustness and global efficiency.
Cet article présente un solveur hybride robuste pour des systèmes linéaires. Ce solveur parallèle construit un préconditionneur de type Schwarz pour accélerer une méthode basée sur les sous-espaces de Krylov. Le préconditionneur est défini à partir d’une formulation explicite correspondant à une itération de Schwarz multiplicatif. Dans le but de réduire les communications et les dépendences entre les sous-domaines, nous utilisons la version de GMRES qui dissocie la construction de la base de Krylov et son orthogonalisation. Nous présentons dans un premier temps le parallélisme qui est obtenu lorsque ce préconditionneur Schwarz multiplicatif est utilisé dans la construction de la base de Krylov. C’est le premier niveau de parallélisme. Dans la deuxième partie de ce travail, nous introduisons un deuxième niveau de parallélisme à l’intérieur de chaque sous-domaine. Pour des décompositions de domaines avec recouvrement, le nombre de sous-domaines doit rester faible pour fournir un solveur robuste. De ce fait, les systèmes linéaires associés aux sous-domaines sont résolus de manière efficace avec ce deuxième niveau de parallélisme. Plusieurs tests numériques sont présentés à la fin du document pour valider l’efficacité de cette approche.
Two-Aircraft Acoustic Optimal Control Problem: SQP algorithms
Authors: Nahayo F. , Khardi S. , Ndimubandi J. , Haddou M. , Hamadiche M. 
Published: January 2021

This contribution aims to develop an acoustic optimization model of flight paths minimizing two-aircraft perceived noise on the ground. It is about minimizing the noise taking into account all the constraints of flight without conflict. The flight dynamics associated with a cost function generate a non-linear optimal control problem governed by ordinary non-linear differential equations. To solve this problem, the theory of necessary conditions for optimal control problems with instantaneous constraints is well used. This characterizes the optimal solution as a local one when the newtonian approach has been used alongside the optimality conditions of Karush-Kuhn-Tucker and the trust region sequential quadratic programming. The SQP methods are suggested as an option by commercial KNITRO solver under AMPL programming language. Among several possible solution, it was shown that there is an optimal trajectory (for each aircraft) leading to a reduction of noise levels on the ground.
Cette contribution vise à développer un modèle mathématique d’optimisation acoustique des trajectoires de vol de deux avions en approche et sans conflit, en minimisant le bruit perçu au sol. Toutes les contraintes de vol des deux avions sont considérées. La dynamique de vol associée au coût génère un problème de contrôle optimal régis par des équations différentielles ordinaires non-linéaires. Pour résoudre ce problème, la théorie des conditions nécessaires d’optimalité pour des problèmes de commande optimale avec contraintes instanées est bien développée. Ceci se caractérise par une solution optimale locale lorsque l’approche newtonienne est utilisée en tenant compte des conditions d’optimalité de Karush-Kuhn-Tucker et la programmation quadratique séquentielle globalisée par région de confiance. Les méthodes SQP sont proposées comme option par KNITRO sous le langage de programmation AMPL. Parmi plusieurs solutions admissibles, il est retenu une trajectoire optimale menant à une réduction du niveau de bruit au sol.
Instrumentation des activités des tuteurs à l’aide d’un système multi-agents d’analyse automatique des interactions
Authors: Oumaira Ilham , Messoussi Rochdi , TOUAHNI Raja 
Published: January 2021

Research presented in this article is dedicated to the tutor instrumentation in distance collaborative learning situations. We are particularly interested in the reuse of interaction analysis indicators. In this paper, we present our system SYSAT; a multi-agent system for monitoring the activities of learners. The aim of SYSAT is to reuse indicators (social, cognitive, emotional ...) reported in the literature, in an open and adaptive system. We tested our system on the interaction data from two experiments conducted with two master students of the Ibn Tofail University. The article presents the results and discusses the prospects for Research.
Ce travail s'inscrit dans le cadre des recherches sur les Environnements Informatiques pour l'Apprentissage Humain (EIAH), et plus particulièrement dans l’assistance du tuteur dans le suivi des apprenants lors des activités d’apprentissage collaboratives en ligne. Cet article décrit l’architecture du système SYSAT, un système multi-agents d’analyse automatique des interactions. L’objectif de SYSAT est de réutiliser les indicateurs (sociaux, cognitifs, affectifs…) rapportés dans la littérature, au sein d’un système adaptatif et ouvert. Nous avons testé notre système sur les données d’interactions issues de deux expérimentations menées avec les étudiants de deux masters à l’université Ibn Tofail. L’article présente les résultats obtenus et évoque les perspectives de recherche.
Schéma DHT hiérarchique pour la tolérance aux pannes dans les réseaux P2P-SIP
Authors: Diané Ibrahima , Niang Ibrahima 
Published: January 2021

This paper focuses on fault tolerance of super-nodes in P2P-SIP systems. These systems are characterized by high volatility of super-nodes. Most fault-tolerant proposed solutions are only for physical defects. They do not take into consideration the timing faults that are very important for multimedia applications such as telephony. This paper proposes a timing and physical fault tolerant mechanism based on P2P overlay with two levels for P2P-SIP systems. The simulation results show that our proposition reduces mostly the nodes location latency and increases the probability to find the called nodes.
Cet article met l'accent sur la tolérance aux pannes de super-noeuds dans les systèmes P2P-SIP. Ces systèmes sont caractérisés par une forte volatilité des super-noeuds. La plupart des solutions tolérant aux pannes proposées traitent des défaillances physiques et ne prennent pas en compte les défaillances temporelles qui sont aussi importantes pour des applications multimédia telle que la téléphonie. Cet article propose un mécanisme de tolérance aux pannes physiques et temporelles basé sur un réseau de recouvrement P2P à deux niveaux pour les systèmes P2P-SIP. Les résultats de simulation ont montré que notre proposition diminue considérablement la latence de localisation des noeuds ordinaires et augmente la probabilité de les retrouver.
Collision-resistant hash function based on composition of functions
Authors: Ndoundam René , Karnel Sadie Juvet 
Published: January 2021

A cryptographic hash function is a deterministic procedure that compresses an arbitrary block of numerical data and returns a fixed-size bit string. There exists many hash functions: MD5, HAVAL, SHA, ... It was reported that these hash functions are no longer secure. Our work is focused on the construction of a new hash function based on composition of functions. The construction used the NP-completeness of Three-dimensional contingency tables and the relaxation of the constraint that a hash function should also be a compression function.
Une fonction de hachage cryptographique est une procédure déterministe qui compresse un ensemble de données numériques de taille arbitraire en une chaîne de bits de taille fixe. Il existe plusieurs fonctions de hachage : MD5, HAVAL, SHA... Il a été reporté que ces fonctions de hachagene sont pas sécurisées. Notre travail a consisté à la construction d’une nouvelle fonction de hachage basée sur une composition de fonctions. Cette construction utilise la NP-completude des tables de contingence de dimension 3 et une relaxation de la contrainte selon laquelle une fonction de hachage doit être aussi une fonction de compression.
Dépliage des réseaux de Petri temporels à modèle sous-jacent non sauf
Authors: Sogbohossou M. , Delfieu D. 
Published: January 2021

For the formal verification of the concurrent or communicating dynamic systems modeled with Petri nets, the method of the unfolding is used to cope with the well-known problem of the state explosion. An extension of the method to the non safe time Petri nets is presented. The obtained unfolding is simply a prefix of that from the underlying ordinary Petri net to the time Petri net. For a certain class of time Petri nets, a finite prefix capturing the state space and the timed language ensues from the calculation of a finite set of finite processes with valid timings. The quantitative temporal constraints associated with these processes can serve to validate more effectively the temporal specifications of a hard real-time system.
Pour la vérification formelle des systèmes dynamiques concurrents ou coopérants modélisés à l’aide des réseaux de Petri, la méthode du dépliage est utilisée pour endiguer le phénomène bien connu de l’explosion combinatoire. Une extension de la méthode aux réseaux de Petri temporels à modèle sous-jacent non sauf est présentée. Le dépliage obtenu est simplement un préfixe de celui du réseau de Petri ordinaire sous-jacent au réseau temporel. Pour une certaine classe de réseaux temporels, un préfixe fini capturant l’espace d’état et le langage temporisé découle du calcul d’un ensemble fini de processus finis réalisables. Les contraintes temporelles quantitatives associées à ces processus peuvent servir à valider plus efficacement les spécifications temporelles d’un système temps réel dur.
Un protocole de fertilisation croisée d’un langage fonctionnel et d’un langage objet: application à la mise en oeuvre d’un prototype d’éditeur coopératif asynchrone
Authors: Tchoupé Tchendji Maurice 
Published: January 2021

The cross-fertilization is a technique to pool expertise and resources of at least two sectors in order to make the best of each. In this paper, we present a protocol of programming based on cross-fertilization of two programming languages (Haskell and Java) under two different programming paradigms: the functional paradigm and the object paradigm. This pooling of the strengths of each type of language permit to develop more secure applications in a shorter time, with functional code concise, easily understandable and thus, easily maintainable by one third. We present the meta-architecture of applications developed following this approach and an instantiation of it for the implementation of a prototype of an asynchronous collaborative editor.
La fertilisation croisée est une technique permettant de mettre en commun des compétences et des ressources d’au moins deux secteurs d’activité afin d’en tirer le meilleur de chaque. Dans ce papier, nous présentons un protocole de programmation basé sur la fertilisation croisée de deux langages de programmation (Haskell et Java) relevant de deux paradigmes de programmation différents: le paradigme fonctionnel et le paradigme objet. Cette mutualisation des points forts de chaque type de langage permet de développer des applications plus sûres, en un temps moindre, ayant un code fonctionnel concis, facilement compréhensible et donc, facilement maintenable par un tiers. Nous présentons la méta-architecture des applications développées suivant cette approche ainsi qu’une instanciation de celle-ci pour la mise en oeuvre d’un prototype d’éditeur coopératifasynchrone.