bluuebunny/crossref_metadata_2025 huggingface dataset:
Outil de partitionnement hw/sw basé sur l’algorithme Kernighan/Lin amélioré
Authors: Boudour R. , Laskri M.T.
Published: January 2021

Partitioning of system functionality for implementation among multiple system components, such as among hardware and software components in codesign, is becoming an increasingly important topic. Various heuristics are used in automatic partitioning. In this paper, we present our tool, called AutoDec, implemented in Visual C++ 6.0. We verified that hierarchical clustering algorithm, based on closeness metrics, can be used to merge pieces of functionality before applying Kernighan/Lin algorithm, resulting in reduced execution time with often improvements in quality. In addition, we show that our approach, when used in partitioning, fills the gap between fast algorithms and highly-optimizing ones.

Le partitionnement fonctionnel d’un système, en composants matériels et logiciels, acquiert de plus en plus de l’importance en conception conjointe. Plusieurs heuristiques et algorithmes sont utilisés en partitionnement. Dans ce papier, nous présentons l'outil, appelé AutoDec, implémenté en Visual C++ 6.0. Nous vérifions que l’algorithme hierarchical clustering, basé sur des métriques de rapprochement, peut être utilisé pour fusionner des parties fonctionnelles avant l’application de l’algorithme Kernihgan/Lin, entraînant ainsi une réduction notable du temps d’exécution avec souvent une amélioration accrue en qualité. En somme, nous montrons que notre approche, utilisée en partitionnement, permet de réduire le fossé entre les algorithmes rapides et hautement optimaux
Applications de méthodes d’agrégation de variables à l’analyse de modèles spatiaux de dynamique des populations
Authors: Nguyen-Huu Tri , Auger Pierre
Published: January 2021

Models in population dynamics can deal with an important number of parameters and variables, which can make them difficult to analyse. Aggregation of variables allow reducing complexity of such models by building simplified models governing fewer variables by use of the existence of different time scales associated to the processes governing the whole system. Those reduced models allows analysing and describing the global dynamics of the system. We present those methods for time discrete models and illustrate their use for the study of spatial host-parasitoids models.

Les modèles de dynamique de populations peuvent prendre en compte un nombre important de paramètres et de variables, ce qui les rend difficiles à analyser. Lorsqu’il existe des processus associés à deux échelles de temps différentes, une lente et une rapide, les méthodes d’agrégation de variables permettent de construire un modèle simplifié qui comporte un nombre plus faible de variables. Elles permettent ainsi d’analyser et de décrire un système de manière globale. Nous présentons ces méthodes dans le cas de modèles discrets, puis nous illustrons leur utilisation à l’aide de modèles hôte-parasitoïdes spatialisés.
On a 1D-Shallow Water Model: Existence of solution and numerical simulations
Authors: Besson Olivier , Kane Soulèye , Sy Mamadou
Published: January 2021

The study of a 1D-shallow water model, obtained in a height-flow formulation, is presented. It takes viscosity into account and can be used for the flood prediction in rivers. For a linearized system, the existence and uniqueness of a global solution is proved. Finally, various numerical results are presented regarding the linear and non linear case.

Nous dérivons les équations de Saint-Venant complètes avec la formulation hauteur-débit. La viscosité est prise en compte dans le modèle. Pour le système linéarisé, l’existence et l’unicité de solution globale est montrée. Des resultats numériques sont présentés aussi bien dans le cas linéaire que non linéaire.
Questioning the signal to noise ratioin digital communications
Authors: Fliess Michel
Published: January 2021

The signal to noise ratio, which plays such an important rôle in information theory, is shown to become pointless for digital communications where the demodulation is achieved via new fast estimation techniques. Operational calculus, differential algebra, noncommutative algebra and nonstandard analysis are the main mathematical tools.

On démontre que le rapport signal à bruit, si important en théorie de l’information, devient sans objet pour des communications numériques où la démodulation s’effectue selon des techniques nouvelles d’estimation rapide. Calcul opérationnel, algèbre différentielle, algèbre non commutative et analyse non standard sont les principaux outils mathématiques.
Integer calculus on the Harthong-Reeb Line
Authors: Wallet Guy
Published: January 2021

In this work, we give a presentation of the so-called Harthong-Reeb line. Only based on integer numbers, this numerical system has the striking property to be roughly equivalent to the continuous real line. Its definition requires the use of a natural number w which is infinitely large in the meaning of nonstandard analysis. Following the idea of G. Reeb, we show how to implement in this framework the Euler scheme. Then we get an exact representation in the Harthong-Reeb line of many real functions like the exponential. Since this representation is given with the help of an explicit algorithm, it is natural to wonder about the global constructivity of this numerical system. In the conclusion, we discuss this last point and we outline some new directions for getting analogous systems which would be more constructive

ans ce travail, nous donnons une présentation de la droite dite d’Harthong-Reeb. Il s’agit d’un système numérique uniquement basé sur les nombres entiers et dont la propriété frappante est qu’il est à peu près équivalent à la droite réelle continue. Sa définition nécessite l’utilisation d’un nombre naturel w qui est infiniment grand au sens de l’analyse nonstandard. Suivant l’idée de G. Reeb, nous montrons comment on peut implémenter le schéma d’Euler dans ce cadre. Alors, on obtient une représentation exacte dans la droite d’Harthong-Reeb de nombreuses fonctions réelles comme la fonction exponentielle. Puisque cette représentation est donnée au moyen d’un algorithme explicite, il est naturel de s’interroger sur la constructivité globale de ce système numérique. Dans la conclusion, nous discutons ce dernier point et nous esquissons de nouvelles directions pour obtenir des systèmes analogues dotés d’une meilleure constructivité.
Singular perturbations on the infinite time interval
Authors: Yadi Karim
Published: January 2021

We consider the slow and fast systems that belong to a small neighborhood of an unperturbed problem. We study the general case where the slow equation has a compact positively invariant subset which is asymptotically stable, and meanwhile the fast equation has asymptotically stable equilibria (Tykhonov’s theory) or asymptotically stable periodic orbits (Pontryagin–Rodygin’s theory). The description of the solutions is by this way given on infinite time interval. We investigate the stability problems derived from this results by introducing the notion of practical asymptotic stability. We show that some particular subsets of the phase space of the singularly perturbed systems behave like asymptotically stable sets. Our results are formulated in classical mathematics. They are proved within Internal Set Theory which is an axiomatic approach to Nonstandard Analysis.

On considère les systèmes lents-rapides appartenant à un petit voisinage d’un problème non perturbé. On étudie le cas général où l’équation lente admet un sous-ensemble compact positivement invariant qui soit asymptotiquement stable tandis que l’équation rapide a des équilibres asymptotiquement stables (théorie de Tykhonov) ou des cycles limites stables (théorie de Pontryagin). La description des solutions est de ce fait donnée sur des intervalles de temps infinis. On examine les problèmes de stabilité découlant de ces résultats en introduisant la notion de stabilité pratique. On montre que certains sous-ensembles de l’espace de phases des systèmes singulièrement perturbés se comportent comme des ensembles asymptotiquement stables. Les résultats sont formulés classiquement mais sont démontrés dans le cadre de la théorie IST, une approche axiomatique de l’Analyse Non Standard.
Ockham’s razor: Deriving cyclic evolutions from viability and inertia constraints
Authors: Aubin Jean-Pierre
Published: January 2021

This article deals with a theme to which Claude Lobry has been interested for a long time: what is the nature of mathematics motivated by biological sciences? It starts by presenting the subjective opinions of its author, illustrated by the simplest application one can think of: demonstrating that it is possible to produce cyclic evolutions on the simple basis of viability and inertia constraints, without using periodic differential equations. It is not impossible that this approach is foreign to an explanation of biological clocks (or economic cycles) in another field.

Cet article traite d’un thème auquel Claude Lobry s’est longtemps intéressé : quelle est la nature des mathématiques motivées par les sciences biologiques ? Il commence par exposer les opinions subjectives de l’auteur, illustrées pas une application des plus simples démontrant qu’il est possible de produire des évolutions cycliques à partir de simples hypothèses (contraintes de viabilité et d’inertie) pour produire des évolutions cycliques, sans faire appel aux équations différentielles périodiques. Il n’est pas impossible que ce point de vue soit étranger à une explication du fonctionnement des horloges biologiques (ou des cycles économiques dans un autre domaine).
Ordonnancement de tâches hiérarchiques interdépendantes sous des exigences temporelles et objectif d’efficacité
Authors: Assayad Ismail
Published: January 2021

The introduction of high-performance applications such as multimedia applications into embedded systems led the manufacturers to offer embedded platforms able to offer an important computing power which makes it possible to answer the increasing requirements of future evolutions of these applications. One of the adopted solutions is the use of multiprocessor platforms. In this paper we propose an exploratory methodology of scheduling software modelled in the form of hierarchical, collaborative and interdependent hierarchical tasks with local deadlines. Scheduling answers (1) the local temporal requirements of tasks, and allows (2) an effective exploitation of multiprocessor platforms

L’introduction d’applications à haute performance comme les applications multimédia dans les systèmes embarqués a amené les constructeurs à offrir des plateformes embarquées capable d’offrir une puissance de calcul importante qui permet de répondre à l’évolution croissante des exigences futures de ces applications. L’une des solutions adoptées est l’utilisation de plateformes multiprocesseurs. Dans ce papier nous proposons une méthodologie exploratoire d’ordonnancement pour des logiciels modélisés sous forme de tâches hiérarchiques, collaboratives, interdépendantes et àéchéances locales. L’ordonnancement répond aux (1) exigences temporelles locales des tâches et permet (2) une exploitation efficace de plateformes multiprocesseurs.
Nouveau critère de séparation aveugle de sources cyclostationnaires au second ordre
Authors: Ould Mohamed Mohamed Salem , Keziou Amor , Fenniri Hassan , Delaunay Georges
Published: January 2021

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.

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.
A hybrid Ant Colony Algorithm for the exam timetabling problem
Authors: Abounacer R. , Boukachour J. , Dkhissi B. , El Hilali Alaoui A.
Published: January 2021

Due to increased student numbers and regulation changes educational institutions that allow for greater flexibility, operations researchers and computer scientists have renewed their interest in developing effective methods to resolve the examination timetabling problem. Thus, in the intervening decades, important progress was made in the examination timetabling problem with appearance of adaptation of meta-heuristics. This paper presents a hybridization of the Ant Colony Algorithm and a Complete Local search with Memory heuristic, in order to maximize as much as possible; the free time between consecutive exams for each student, while respecting the conflict constraints, a student cannot sit more than one exam in the same timeslot.

Vue l’augmentation du nombre d’étudiants dans les établissements scolaires et universitaires, le nombre d’examens à passer par chaque étudiant et les réformes pédagogiques actuelles, les planifications classiques des cours et des examens ne sont plus suffisantes, ce qui a amené les chercheurs opérationnels et les informaticiens à chercher des nouvelles méthodes pour résoudre le problème d’emploi du temps des examens. Notre travail consiste à planifier les examens de telle sorte à maximiser le temps de séparation entre deux examens consécutifs pour chaque étudiant et ceci en utilisant l’algorithme de colonies de fourmis hybridé avec une technique de recherche locale.
Time error estimators for the Chorin-Temam scheme
Authors: Kharrat Nizar , Mghazali Zoubida
Published: January 2021

The time-dependent Stokes equations are discretized by the original Chorin’s projection method [5] and Temam[15]. According to an idea of [1], we derive time error estimators for velocity and pressure. In particular, the velocity estimator is implemented for adaptation on the time step.

Les équations de Stokes instationnaires sont discrétisées par la méthode de projection classique de Chorin [5] et Temam[15]. En se basant sur une idée de [1], nous construisons des estimateurs sur l’erreur de discrétisation en temps pour la vitesse et la pression. En particulier, l’estimateur associée à la vitesse est mis en oeuvre pour l’adaptation sur le pas de temps.
Inverse impedance boundary problem via the conformal mapping method: the case of small impedances
Authors: Ben Hassen F. , Boukari Y. , Haddar H.
Published: January 2021

Haddar and Kress [9] extended the use of the conformal mapping approach [2, 8] to reconstruct the internal boundary curve Ti of a doubly connected domain from the Cauchy data on the external boundary of a harmonic function satisfying a homogeneous impedance boundary condition on Ti. However, the analysis of this scheme indicates non convergence of the proposed algorithm for small values of the impedance. In this paper, we modify the algorithm proposed in [9] in order to obtain a convergent and stable inversion process for small impedances. We illustrate the performance of the method through some numerical examples that also include the cases of variable impedances.

Haddar and Kress [9] ont étendu l’utilisation de la méthode des applications conformes [2, 8] pour construire le bord intérieur Ti d’un domaine doublement connexe à partir de données de Cauchy sur le bord extérieur d’une fonction harmonique qui satisfait une condition homogène d’impédance sur Ti. Cependant, l’analyse de la méthode montre la non-convergence de l’algorithme proposé dans [9] dans le cas des faibles impédances. Dans ce travail, nous proposons des modifications de cet algorithme afin d’obtenir un schéma d’inversion convergent et stable dans ce cas. La méthode est ensuite validée par des exemples numériques qui incluent également le cas d’impédances variables.
Application of the topological gradient method to tomography
Authors: Auroux D. , Jaafar-Belaid L. , Rjaibi B.
Published: January 2021

A new method for parallel beam tomography is proposed. This method is based on the topological gradient approach. The use of the topological asymptotic analysis for detecting the main edges of the data allows us to filter the noise while inverting the Radon transform. Experimental results obtained on noisy data illustrate the efficiency of this promising approach in the case of Magnetic Resonance Imaging. We also study the sensitivity of the algorithm with respect to several regularization and weight parameters.

Une nouvelle méthode de reconstruction pour la tomographie par faisceaux parallèles est proposée. Cette méthode est basée sur l’approche du gradient topologique. En détectant les contours sur les données grâce à l’analyse asymptotique topologique, il est possible de filtrer le bruit dans le processus d’inversion de la transformée de Radon. Des résultats expérimentaux obtenus sur des données bruitées illustrent les possibilités de cette approche prometteuse dans le domaine de traitement d’images IRM. Nous étudions également la sensibilité de l’algorithme par rapport aux différents paramètres de régularisation et pondération.
Un modèle intégré pour explorer les trajectoires d'utilisation de l'espace
Authors: Fotsing Eric , Verburg Peter H. , De Groot Wouter T. , Cheylan Jean-Paul , Tchuenté Maurice
Published: January 2021

Dynamic spatial models are important tools for the study of complex systems like environmental systems. This paper presents an integrated model that has been designed to explore land use trajectories in a small region around Maroua, located in the far north of Cameroon. The model simulates competition between land use types taking into account a set of biophysical, socio-demographic and geo-economics driving factors. The model includes three modules. The dynamic simulation module combines results of the spatial analysis and prediction modules. Simulation results for each scenario can help to identify where changes occur. The model developed constitutes an efficient knowledge support system for exploratory research and land use planning.

Les modèles spatiaux dynamiques sont des outils de très grande importance pour l'étude des systèmes complexes comme les systèmes environnementaux. De plus, une approche intégrée est indispensable lorsqu'on veut avoir une compréhension plus complète du comportement de ces systèmes. Cet article décrit les bases d'un modèle intégré développé pour explorer les trajectoires d'utilisation de l'espace dans la région autour de Maroua, à l'Extrême Nord du Cameroun. Le modèle simule la compétition entre différentes catégories d'utilisation de l'espace en prenant en compte l'influence d'un ensemble de facteurs biophysiques, sociodémographiques et géoéconomiques. On distingue trois principaux modules. Le module de simulation dynamique combine les résultats des modules d'analyse spatiale et de prédiction. La calibration et la validation du modèle ont été effectuées pour la période entre 1987 et 1999, et la simulation des changements entre 1999 et 2010. Trois scénarios ont été formulés en s'appuyant sur l'analyse des tendances observées et les hypothèses de transition du système d'utilisation de l'espace. Les principales dynamiques observées concernent le développement de la culture maraîchère et l'extension de la culture du sorgho de contre saison qui induisent une compétition plus importante et des conflits. Les résultats de simulation pour chaque scénario permettent d'identifier des zones prioritaires pour toute intervention allant dans le sens de l'intensification ou d'une gestion intégrée et plus durable de l'espace. Le modèle développé constitue ainsi un outil de recherche exploratoire et un support de connaissances utilisable pour la planification de l'utilisation de l'espace. Une utilisation est envisageable pour initier toute concertation ou négociation entre les acteurs concernés par la gestion de l'espace.
A mixture of local and quadratic approximation variable selection algorithm in nonconcave penalized regression
Authors: N'GUESSAN Assi , Sidi Zakari Ibrahim , Mkhadri Assi
Published: January 2021

We consider the problem of variable selection via penalized likelihood using nonconvex penalty functions. To maximize the non-differentiable and nonconcave objective function, an algorithm based on local linear approximation and which adopts a naturally sparse representation was recently proposed. However, although it has promising theoretical properties, it inherits some drawbacks of Lasso in high dimensional setting. To overcome these drawbacks, we propose an algorithm (MLLQA) for maximizing the penalized likelihood for a large class of nonconvex penalty functions. The convergence property of MLLQA and oracle property of one-step MLLQA estimator are established. Some simulations and application to a real data set are also presented.
Analysis of an Age-structured SIL model with demographics process and vertical transmission
Authors: Demasse Ramses Djidjou , Tewa Jean Jules , Bowong Samuel
Published: January 2021

We consider a mathematical SIL model for the spread of a directly transmitted infectious disease in an age-structured population; taking into account the demographic process and the vertical transmission of the disease. First we establish the mathematical well-posedness of the time evolution problem by using the semigroup approach. Next we prove that the basic reproduction ratio R0 is given as the spectral radius of a positive operator, and an endemic state exist if and only if the basic reproduction ratio R0 is greater than unity, while the disease-free equilibrium is locally asymptotically stable if R0<1. We also show that the endemic steady states are forwardly bifurcated from the disease-free steady state when R0 cross the unity. Finally we examine the conditions for the local stability of the endemic steady states.
Analyse mathématique d'un modèle de digestion anaérobie à trois étapes
Authors: Fekih-Salem Radhouane , Abdellatif Nahla , Sari Tewfik , Jérôme Harmand
Published: January 2021

In this work, we focus on the mathematical analysis of a model of chemostat with enzymatic degradation of a substrate (organic matter) that can partly be under a solid form [7]. The study of this 3-step model is derived from a smaller order sub-model since some variables can be decoupled from the others. We study the existence and the stability of equilibrium points of the sub-model considering monotonic growth rates and distinct dilution rates. In the classical chemostat model with monotonic kinetics, it is well known that only one equilibrium point attracts all solutions and that bistability never occurs [8]. In the present study, although only monotonic growth rates are considered, it is shown that the considered sub-model may exhibit bistability. The study of 3-step model shows the existence at most four positive equilibrium whose one is locally asymptotically stable and according to the initial condition the two species can coexist.
Vers une structuration auto-stabilisante des réseaux Ad Hoc
Authors: Ba Mandicou , Flauzac Olivier , Haggar Bachar Salim , MAKHLOUFI Rafik , Nolot Florent , Niang Ibrahima
Published: January 2021

In this paper, we present a self-stabilizing asynchronous distributed clustering algorithm that builds non-overlapping k-hops clusters. Our approach does not require any initialization. It is based only on information from neighboring nodes with periodic messages exchange. Starting from an arbitrary configuration, the network converges to a stable state after a finite number of steps. Firstly, we prove that the stabilization is reached after at most n+2 transitions and requires (u+1)* log(2n+k+3) bits per node, whereΔu represents node's degree, n is the number of network nodes and k represents the maximum hops number. Secondly, using OMNet++ simulator, we performed an evaluation of our proposed algorithm.

Dans cet article, nous proposons un algorithme de structuration auto-stabilisant, distribuéet asynchrone qui construit des clusters de diamètre au plus 2k. Notre approche ne nécessite aucuneinitialisation. Elle se fonde uniquement sur l’information provenant des noeuds voisins à l’aided’échanges de messages. Partant d’une configuration quelconque, le réseau converge vers un étatstable après un nombre fini d’étapes. Nous montrons par preuve formelle que pour un réseau de nnoeuds, la stabilisation est atteinte en au plus n + 2 transitions. De plus, l’algorithme nécessite uneoccupation mémoire de (u + 1) log(2n + k + 3) bits pour chaque noeud u où u représente ledegré (nombre de voisins) de u et k la distance maximale dans les clusters. Afin de consolider lesrésultats théoriques obtenus, nous avons effectué une campagne de simulation sous OMNeT++ pourévaluer la performance de notre solution.
Algorithmes de traitement de requêtes de biodiversité dans un environnement distribué
Authors: Bame Ndiouma , Naacke Hubert , Sarr Idrissa , Ndiaye Samba
Published: January 2021

The GBIF portal contains a description of most of the global biodiversity data. It faces two problems, namely the data availability and a poor expressiveness of queries, mainly due to a growing number of users which keep expressing new needs. To tackle these problems, we envision a scalable and relatively low cost solution. With this in mind, we propose a non-invasive and decentralized architecture for processing GBIF queries over a cloud infrastructure. We define a dynamic strategy for data distribution and queries processing algorithms that fit the GBIF requirements. We demonstrate the feasibility and efficiency of our solution by a prototype implementation which allows for processing extra query types, up to now unsupported by the GBIF portal.
Détection des préoccupations transversales par l'analyse formelle de concepts des diagrammes de séquence
Authors: Dahi Fairouz , Bounour Nora
Published: January 2021

The existence of crosscutting concerns tangled or scattered, complicates the understanding and evolution of object oriented source code. The industrial adoption of aspect-oriented paradigm has led to research new approaches supporting aspect oriented migration. This migration requires the identification of crosscutting concerns, in order to encapsulate them into aspects. We propose in this paper a new approach for the identification of crosscutting concerns at the conceptual level. We materialize this latter by the UML class and sequence diagrams. We use the formal concept analysis to group scattered functionalities in sequence diagrams, and we analyze the order of method calls to detect the tangled ones. Then, we filter all obtained candidate aspects, in order to avoid the mistakes.
Channel Estimation methods with low complexity for 3GPP/LTE
Authors: Diallo Moussa , Helard Maryline
Published: January 2021

OFDM based pilots channel estimation methods with processing into the transform domain appear attractive owing to their capacity to highly reduce the noise component effect. However, in current OFDM systems, null subcarriers are placed at the edge of the spectrum in order to assure isolation from interfering signals in neighboring frequency bands; and the presence of these null carriers may lead, if not taken into account, to serious degradation of the estimated channel responses due to the “border effect” phenomenon. In this paper an improved algorithm based on truncated SVD is proposed in order to correctly support the case of null carriers at border spectrum. A method for optimizing the truncation threshold whatever the system parameters is also proposed. To make the truncated SVD channel estimation method applicable to any SISO or MIMO OFDM system and whatever the system parameters, a complexity reduction algorithm based on the distribution of the power in the transfer matrix (based on DFT or DCT) is proposed.

Les techniques d’estimation de canal, basée sur des symboles pilotes, par passage dansun domaine de tranfert sont très attractives pour les systèmes de télécommunications utilisant l’OFDM.Cependant, elles montrent des limites pour les systèmes de télécommunications, où un ensemble desous-porteuses de garde, est inséré sur les bords du spectre dans le but d’éviter tout recouvrementspectral avec d’autres applications utilisant des bandes voisines. Ces sous-porteuses de gardeont selon leur nombre tendance à dégrader fortement les performances de ces estimateurs. Nousproposons, dans un premier temps, une optimisation qui permet d’améliorer considérablement lesperformances de ces estimateurs quels que soit le nombre de porteuses de garde. Dans un secondtemps, pour de rendre l’estimateur proposé attractif pour les constructeurs, nous avons proposé unetechnique permettant de réduire leur complexité de réalisation de manière notable.
Composite Asymptotic Expansions and Difference Equations
Authors: Fruchard Augustin , Schäfke Reinhard
Published: January 2021

Difference equations in the complex domain of the form y(x+ϵ)−y(x)=ϵf(y(x))/y(x) are considered. The step size ϵ>0 is a small parameter, and the equation has a singularity at y=0. Solutions near the singularity are described using composite asymptotic expansions. More precisely, it is shown that the derivative v′ of the inverse function v of a solution (the so-called Fatou coordinate) admits a Gevrey asymptotic expansion in powers of the square root of ϵ, denoted by η, involving functions of y and of Y=y/η. This also yields Gevrey asymptotic expansions of the so-called Écalle-Voronin invariants of the equation which are functions of epsilon. An application coming from the theory of complex iteration is presented.

On considère des équations aux différences dans le plan complexe de la forme y(x+ϵ)−y(x)=ϵf(y(x))/y(x). Le pas de discrétisation ϵ>0 est un petit paramètre, et l'équation a une singularité en y=0. On décrit les solutions près de la singularité en utilisant des développements asymptotiques combinés. Plus précisément, on montre que la dérivée v′ de la fonction réciproque (appelée coordonnée de Fatou) v d'une solution admet un développement asymptotique Gevrey en puissances de la racine carrée de ϵ, notée η, et faisant intervenir des fonctions de y et de Y=y/η. On obtient également des développements asymptotiques Gevrey des invariants d'Écalle-Voronin de l'équation, qui sont des fonctions de ϵ. Une application venant de la théorie de l'itération complexe est présentée.
Surstable solutions with a singularity at a turning point
Authors: Benoît Eric
Published: January 2021

Dans cet article, on va établir de façon très simple, presque sans analyse complexe, la première condition de style Matkowsky nécessaire pour qu'une solution soit un canard avec singularités. Le but est d'étudier des équations différentielles singulièrement perturbées analytiques présentant un point tournant. Des illustrations numériques sont présentées.
Canard-induced loss of stability across a homoclinic bifurcation
Authors: Desroches Mathieu , Françoise Jean-Pierre , Mégret Lucile
Published: January 2021

his article deals with slow-fast systems and is, in some sense, a first approach to a general problem, namely to investigate the possibility of bifurcations which display a dramatic change in the phase portrait in a very small (on the order of 10−7 in the example presented here) change of a parameter. We provide evidence of existence of such a very rapid loss of stability on a specific example of a singular perturbation setting. This example is strongly inspired of the explosion of canard cycles first discovered and studied by E Benoît, J.-L. Callot, F. Diener and M. Diener. After some presentation of the integrable case to be perturbed, we present the numerical evidences for this rapid loss of stability using numerical continuation. We discuss then the possibility to estimate accurately the value of the parameter for which this bifurcation occurs.

Cet article traite de systèmes lents-rapides et constitue en quelque sorte une première approche pour étudier un problème général, celui d'explorer les possibilités de bifurcations qui présentent un changement brutal au niveau du portrait de phase pour un très petit changement de paramètre (de l'ordre de 10−7 dans l'exemple présenté ici). Nous présentons des preuves de l'existence d'une perte brutale de stabilité de ce type sur un exemple spécifique dans un cadre de perturbations singulières. Cet exemple est fortement inspiré de l'explosion de cycles canards initialement découverte par E. Benoît, J.-L. Callot, F. Diener et M. Diener. Après une présentation du cas intégrable que l'on souhaite perturber, nous apportons une preuve numériques de cette perte brutale de stabilité obtenue en utilisant la continuation numérique. Nous discutons ensuite la possibilité d'estimer précisément la valeur de paramètre pour laquelle cette bifurcation se produit.
Monotone Dynamical Systems and Some Models of Wolbachia in Aedes aegypti Populations
Authors: Sallet Gauthier , Silva Moacyr A.H.B.
Published: January 2021

We present a model of infection by Wolbachia of an Aedes aegypti population. This model is designed to take into account both the biology of this infection and any available experimental data obtained in the field. The objective is to use this model for predicting the sustainable introduction of this bacteria. We provide a complete mathematical analysis of the model proposed and give the basic reproduction ratio R0 for Wolbachia. We observe a bistability phenomenon. Two equilibria are asymptotically stable : an equilibrium where all the population is uninfected and an equilibrium where all the population is infected. A third unstable equilibrium exists. We provide an lower bound for the basin of attraction of the desired infected equilibrium. We are in a backward bifurcation situation. The bistable situations occurs with natural biological values for the parameters.

Nous proposons un modèle d'infection par Wolbachia d'une population d'Aedes aegypti. Ce modèle est conçu pour prendre en compte à la fois l'histoire naturelle de cette infection et aussi l'introduction de données disponibles obtenues expérimentalement sur le terrain. Nous donnons un analyse complète du modèle ainsi que le taux de reproduction de base R0 pour Wolbachia. On observe un phénomène de bistabilité. Deux équilibres sont stables : un équilibre où toute la population est non infectée et un équilibre où toute la population est infectée. Un troisième équilibre (instable) existe. On donne des bornes inférieures pour l'équilibre recherché de complète infestation. On est dans une situation de bifurcation rétrograde. Cette situation de bistabilité est obtenue avec les valeurs des paramètres biologiquement normales.
Avant propos
Authors: Sari Nadir , Wallet Guy
Published: January 2021

Avant propos du colloque en l'honneur d'Eric Benoît : Des dynamiques singulièrement perturbées aux dynamiques des populations.
Classification non Supervisée de Données Multidimensionnelles par les Processus Ponctuels Marqués
Authors: Henni Khadidja , Alata Olivier , Zaoui Lynda , ELIDRISSI Abdellatif , Moussa Ahmed
Published: January 2021

Cet article décrit un nouvel algorithme non supervisé de classification des données multidimensionnelles. Il consiste à détecter les prototypes des classes présentes dans un échantillon et à appliquer l’algorithme KNN pour la classification de toutes les observations. La détection des prototypes des classes est basée sur les processus ponctuels marqués, c’est d’une part une adaptation de la méthode de Métropolis-Hasting-Green qui génère des mouvements manipulant les objets du processus (naissance, mort…) et d’autre part une modélisation de Gibbs qui introduit la fonction de potentiel matérialisant les interactions du processus en termes d’énergie. Plusieurs expérimentations ont été réalisées sur des données ponctuelles multidimensionnelles où les classes sont non linéairement séparables et des données réelles issues des puces à ADN. Une comparaison avec des méthodes de classification existantes a permis de montrer l’efficacité de ce nouvel algorithme.
Correction des erreurs orthographiques des systèmes de reconnaissance de l'écriture et de la parole arabe
Authors: Sari Toufik , Sellami Mokhtar
Published: January 2021

In this paper, we present two methods for correcting Arabic words generated by text and/or speech recognizers. These techniques operate as post-processors and they are conceived to be adaptable. They correct rejection and substitution word errors. The former one is very linked to the dictionary and is called 'lexicon driven', when the orther is very general exploiting contextual information and called 'context driven'. Arabic language properties are very useful in morpho-lexical analysis and so they were strongly exploited in the development of the second method. Substitution errors are rewritten in rules for being used by a rule based system. The extensions to the other levels of language analysis are considered in perspectives.

Nous proposons dans cet article deux méthodes universelles de post-traitement pour la correction des mots arabes issus des systèmes de reconnaissance de textes et de parole arabes. Elles sont conçues à être adaptables. Ces approches corrigent les erreurs de type rejet et substitution. L'une d'elles est étroitement liée au dictionnaire elle est dite guidée par le lexique, l'autre, guidée par le contexte, est plus générale exploitant les information contextuelles. Les propriétés de la langue arabe sont très utiles en analyse morpho-lexicale et par conséquent elles sont fortement exploitées dans le développement de la deuxième méthode. Les erreurs de substitution sont réécrites sous formes de règles de production et utilisées par un système de production. Les extensions aux autres niveaux du traitement du langage sont envisagées en perspectives.
Regular Bohr-Sommerfeld quantization rules for a h-pseudo-differential operator. The method of positive commutators
Authors: Ifa Abdelwaheb , Rouleux Michel
Published: January 2021

We revisit in this Note the well known Bohr-Sommerfeld quantization rule (BS) for a 1-D Pseudo-differential self-adjoint Hamiltonian within the algebraic and microlocal framework of Helffer and Sjöstrand; BS holds precisely when the Gram matrix consisting of scalar products of some WKB solutions with respect to the " flux norm " is not invertible.

Dans le cadre algébrique et microlocal élaboré par Helffer et Sjöstrand, on propose une ré-écriture de la règle de quantification de Bohr-Sommerfeld pour un opérateur auto-adjoint h-Pseudo-différentiel 1-D; elle s'exprime par la non-inversibilité de la matrice de Gram d'un couple de solutions WKB dans une base convenable, pour le produit scalaire associé à la " norme de flux " .
Social Information Retrieval and Recommendation: state- of-the-art and future research
Authors: Gorrab Abir , Kboubi Ferihane , Ghézala Henda
Published: January 2021

The explosion of web 2.0 and social networks has created an enormous and rewarding source of information that has motivated researchers in different fields to exploit it. Our work revolves around the issue of access and identification of social information and their use in building a user profile enriched with a social dimension, and operating in a process of personalization and recommendation. We study several approaches of Social IR (Information Retrieval), distinguished by the type of incorporated social information. We also study various social recommendation approaches classified by the type of recommendation. We then present a study of techniques for modeling the social user profile dimension, followed by a critical discussion. Thus, we propose our social recommendation approach integrating an advanced social user profile model.

L’explosion du web 2.0 et des réseaux sociaux a crée une source d’information énorme et enrichissante qui a motivé les chercheurs dans différents domaines à l’exploiter. Notre travail s’articule autour de la problématique d’accès et d’identification des informations sociales et leur exploitation dans la construction d’un profil utilisateur enrichi d’une dimension sociale, et son exploitation dans un processus de personnalisation et de recommandation. Nous étudions différentes approches sociales de RI (Recherche d’Information), distinguées par le type d’informations sociales incorporées. Nous étudions également diverses approches de recommandation sociale classées par le type de recommandation. Nous exposons ensuite une étude des techniques de modélisation de la dimension sociale du profil utilisateur, suivie par une discussion critique. Ainsi, nous présentons notre approche de recommandation sociale proposée intégrant un modèle avancé de profil utilisateur social.
Management of Low-density Sensor-Actuator Network in a Virtual Architecture
Authors: Kengne Tchendji Vianney , Paho Nana Blaise
Published: January 2021

Wireless sensor networks (WSN) face many implementation’s problems such as connectivity, security, energy saving, fault tolerance, interference, collision, routing problems, etc. In this paper, we consider a low-density WSN where the distribution of the sensors is poor, and the virtual architecture introduced by Wadaa and al which provides a powerful and fast partitioning of the network into a set of clusters. In order to effectively route the information collected by each sensor node to the base station (sink node, located at the center of the network), we propose a technique based on multiple communication frequencies in order to avoid interferences during the communications. Secondly, we propose an empty clusters detection algorithm, allowing to know the area actually covered by the sensors after the deployment, and therefore, giving the possibility to react accordingly. Finally, we also propose a strategy to allow mobile sensors (actuators) to move in order to: save the WSN’s connectivity, improve the routing of collected data, save the sensors’ energy, improve the coverage of the area of interest, etc.

Les réseaux de capteurs sans fil (RCSF) font face à de nombreux problèmes dans leur mise en oeuvre, notamment aux problèmes de connectivité des noeuds, de sécurité, d'économie d'énergie, de tolérance aux pannes, d'interférence, de collision, de routage, etc. Dans ce document, nous considérons un RCSF peu dense, caractérisé par une mauvaise couverture de la zone d'inté-rêt, et l'architecture virtuel introduite par Wadaa et al qui permet de partitionner efficacement ce type de réseau en clusters. Dans l'optique de router optimalement les informations collectés par chaque capteur jusqu'à une station de base (noeud sink, supposé au centre du réseau), nous proposons une technique d'utilisation des fréquences multiples pour limiter les interférences lors des communications. Ensuite, nous proposons un algorithme de détection de clusters vides permettant d'avoir une vue globale de la répartition réelle des capteurs dans la zone d'intérêt, et ainsi donner la possibilité de réagir en conséquence. Nous proposons également une stratégie de déplacement des capteurs mobiles (actuators) afin de: sauvegarder la connectivité du RCSF, optimiser le routage, économiser l'énergie des capteurs, améliorer la couverture de la zone d'intérêt, etc.
Ajustement des données pluviométriques à l'aide des splines plaque mince de lissage: Application à la pluviométrie Camerounaise
Authors: Nyamsi Madeleine
Published: January 2021

In this paper we present a numerical method for drawing a rainfall map. We use thin plate ajustement spline to fit a smooth surface through meteorological data such as rainfall observations. The determination of the ajustement parameters gives rise to the minimization of a multidimensional nonlinear function whose evaluation is very computational intensive. We propose an heuristic approach for the calculation of the ajustement parameters which is cost effective. The proposed method is tested on a set of rainfall observations gathered by the department of national meteorology in Cameroun.

Dans cet article, nous présentons une méthode pour le tracé de cartes de pluviométrie. Il s'agit pour cela de lisser et interpoler les mesures des précipitations. La technique des splines de type plaque mince est utilisée pour modéliser la surface de lissage et d'ajustement des données pluvio-métriques. La construction de cette spline nécessite la détermination de paramètres d'ajustement, ce qui fait recours à un problème de minimisation non linéaire multidimensionnelle. Nous proposons une approche heuristique pour la détermination des paramètres d'ajustement. La méthode est testée sur des donnés pluviométriques de la direction nationale de la météorologie du Cameroun. Les résultats que nous présentons dans cet article confirment la robustesse de la méthode.
Non-parametric kernel-based bit error probability estimation in digital communication systems: An estimator for soft coded QAM BER computation
Authors: Poda Pasteur , Saoudi Samir , Chonavel Thierry , GUILLOUD Frédéric , Tapsoba Théodore
Published: January 2021

The standard Monte Carlo estimations of rare events probabilities suffer from too much computational time. To make estimations faster, kernel-based estimators proved to be more efficient for binary systems whilst appearing to be more suitable in situations where the probability density function of the samples is unknown. We propose a kernel-based Bit Error Probability (BEP) estimator for coded M-ary Quadrature Amplitude Modulation (QAM) systems. We defined soft real bits upon which an Epanechnikov kernel-based estimator is designed. Simulation results showed, compared to the standard Monte Carlo simulation technique, accurate, reliable and efficient BEP estimates for 4-QAM and 16-QAM symbols transmissions over the additive white Gaussian noise channel and over a frequency-selective Rayleigh fading channel.

Les estimations de probabilités d'événements rares par la méthode de Monte Carlo classique souffrent de trop de temps de calculs. Des estimateurs à noyau se sont montrés plus efficaces sur des systèmes binaires en même temps qu'ils paraissent mieux adaptés aux situations où la fonction de densité de probabilité est inconnue. Nous proposons un estimateur de Probabilité d'Erreur Bit (PEB) à noyau pour les systèmes M-aires codés de Modulations d'Amplitude en Quadrature (MAQ). Nous avons défini des bits souples à valeurs réelles à partir desquels un estimateur à noyau d'Epanechnikov est conçu. Les simulations ont montré, par rapport à la méthode Monte Carlo, des estimées de PEB précises, fiables et efficaces pour des transmissions MAQ-4 et MAQ-16 sur canaux à bruit additif blanc Gaussien et à évanouïssements de Rayleigh sélectif en fréquence.
Optimization of absorption systems: case of the refrigerators and heat pumps
Authors: Tchinda René , Ngouateu Wouagfack Paiguy Armand
Published: January 2021

The new thermo-ecological performance optimization of absorption is investigated by taking the ecological coefficient of performance ECOP as an objective function. ECOP has been expressed in terms of the temperatures of the working fluid in the main components of the system. The maximum of ECOP and the corresponding optimal temperatures of the working fluid and other optimal performance design parameters such as coefficient of performance, specific cooling load of absorption refrigerators, specific heating load of absorption heat pumps, specific entropy generation rate and the distributions of the heat exchanger areas have been derived analytically. The obtained results may provide a general theoretical tool for the ecological design of absorption refrigerators and heat pumps.