bluuebunny/crossref_metadata_2025 huggingface dataset:
A Formal Approach to the Description and Manipulation of Structured Mathematical Objects
Authors: Fotsing Talla Bernard , Kouamou Georges-Edouard
Published: January 2021

We present in this paper a formal approach of description, posting and handling of the mathematical structured objects; based on the formalism of attribute grammars. We are interested particularly in the problem of two-dimensional and bidirectional posting of certain expressions and mathematical formulas. Indeed, in more of the two-dimensional character that presents certain mathematical symbols like the square root or the matrix, we also note the problem of posting rightto-left of an Arab text in a context planned for a posting left-to-right of an Indo-European text, or a bidirectional posting mixing the two modes. After a study of some solutions suggested in the literature, we show how the method of attribute grammars adapts easily to these types of problem.

Nous présentons dans ce papier une approche formelle de description, d'affichage et de manipulation des objets structurés mathématiques ; basée sur le formalisme des grammaires attribuées. Nous nous intéressons particulièrement au problème d'affichage bidimensionnel et bidirectionnel de certaines expressions et formules mathématiques. En effet, en plus du caractère bidimensionnel que présentent certains symboles comme la racine carrée ou la matrice, on note le problème d'affichage de droite à gauche d'un texte arabe dans un contexte prévu pour un affichage de gauche à droite d'un texte indo-européen, ou encore un affichage bidirectionnel mélangeant les deux modes. Après une étude de quelques méthodes proposées dans la littérature, nous montrons comment la méthode des grammaires attribuées s'adapte facilement à ces types de problèmes.
Dynamic Generation of Adaptative Hypermedia Document in an e-learning Environment
Authors: Behaz Amel , Djoudi Mahieddine
Published: January 2021

In the hypermedia systems the reinforcement of the learner interest requires the production, edition and diffusion of various type of teaching documents (courses, exercises, etc). The aim of our work, is the elaboration of a model of documents and teaching activities. This model describes parameters and functionalities to integrate in pedagogical contexts witch supports different activities. Based on this model, we conceived and carried out a dynamic adaptive hypermedia environment called MEDYNA, witch helps us to draft documents for e-learning. The system takes into account parameters and elements of the proposed model. It allows the dynamic generation of adaptive context to the learner. We exploited the XML technology for the implementation of our system.

Dans les systèmes hypermédia le renforcement de l'intérêt de l'apprenant requiert la production, l'édition et la diffusion de divers types de documents pédagogiques (cours, exercices, corrigés, etc.). Dans le cadre de notre travail, nous avons élaboré un modèle de Documents et Activités Pédagogiques qui décrit l'ensemble des paramètres et fonctionnalités à intégrer au sein des contenus pédagogiques supportant différentes activités. Sur la base de ce modèle, nous avons conçu et réalisé un environnement numérique de travail MEDYNA de type hypermédia adaptatif dynamique aidant à la rédaction de documents destinés à l'enseignement à distance. Le système prend en compte les paramètres et éléments du modèle proposé. Il permet ensuite la génération dynamique des contenus adaptatifs à l'apprenant. A cet égard, nous exploitons la puissance de XML pour la mise en oeuvre de notre système.
Coalition Formation for Improving the Utility of the Response: Application to Information Request
Authors: Belleili Habiba , Bouzid Maroua , Sellami Mokhtar
Published: January 2021

This paper is concerned with the negotiation problem between agents with limited resources and under time constraints in dynamic environment. The society of agents has the same goal which is to respond with best delays at client requests. Each agent has a local technique for improving “progressively” the quality of the request. Agents must begin a negotiation cycle for coalition formation which maximizes the utility of the response to the new request. The goal is to minimize the number of exchanged messages between agents for a coalition formation in order to minimize the negotiation time.

Ce papier aborde le problème de la négociation entre des agents munis de ressources limitées et sous contraintes temporelles dans un environnement dynamique. La société d’agents consiste en des agents ayant le même but qui est de répondre dans les meilleurs délais aux requêtes de clients. Les agents sont dotés chacun d’une seule technique locale pour améliorer « progressivement » la qualité de la requête. Les agents doivent entrer en négociation pour former une coalition qui maximise l’utilité de la réponse de la nouvelle requête. Le but est de minimiser le nombre de messages échangés entre les agents pour former une coalition afin de réduire au minimun le temps de négociation.
A dynamical model of plant growth with full retroaction between organogenesis and photosynthesis
Authors: Rostand-Mathieu Amélie , Cournède Paul-Henry , Reffye Philippe
Published: January 2021

In this paper are presented new mathematical developments in plant growth modelling and simulation. GreenLab Model is a functional-structural plant growth model, it combines both organogenesis (architecture) and photosynthesis (biomass production and repartition). New improvements concern the retroaction of photosynthesis on organogenesis. We present in this paper the influence of available biomass on the number of metamers in a growth unit and on the branching. The general theory is introduced and applied to simple trees. Some interesting behaviours are underlined.

Dans ce papier sont présentés de nouveaux développements mathématiques en modélisation et simulation de la croissance des plantes. GreenLab est un modèle structure-fonction, qui combine l’organogenèse (architecture) et la photosynthèse (production et répartition de biomasse). La rétroaction entre la photosynthèse et l’organogenèse est introduite ici. Nous présentons l’influence de la biomasse disponible sur le nombre de métamères par unité de croissance etsur le démarrage des bourgeons. La théorie est ensuite appliquée à des modèles d’arbre simples, dont on étudie divers comportements.
On the representation of L-M algebra by intuitionistic fuzzy subsets
Authors: Lemnaouar Zedam , Abdelaziz Amroune
Published: January 2021

In this paper we introduce the notions of intuitionistic weak alpha-cut and untuitionistic strong alpha-cut of intuitionistic fuzzy subsets of a universe X. These notions lead us to show that the set IF(X) of all intuitionistic fuzzy subsets on a universe X can be equipped with a structure of involutive theta-valued Lukasiewicz-Moisil algebra. Conversely, we show that every involutive theta-valued Lukasiewicz-Moisil algebra can be embedded into an algebra of intuitionistic fuzzy subsets.

Dans ce travail nous introduisons les notions de alpha-coupes et de alpha-coupes strictes d'un ensemble flou intuitionsiste d'un référentiel X. A l'aide de ces notions, nous montrons que l'ensemble IF(X) des sous-ensembles flous intuitionistes d'un référentiel X admet une structure d'algèbre de Moisil-Lukasiewicz. theta-valente involutive. Réciproquement, nous montrons que toute algèbre de Moisil-Lukasiewicz theta-valente involutive se plonge dans une algèbre des sous-ensembles flous intuitionistes.
Numerical study of some iterative solvers for acoustics in unbounded domains
Authors: Gmati Nabil , Zrelli Naouel
Published: January 2021

The aim of this paper is to study some iterative methods, based on the domain decomposition approach to solve the acoustic harmonic wave propagation in an unbounded domain. We describe how our methodology applies to semi-infinite closed guides and to acoustic scattering problems. In both cases, we use some well-known transparent boundary conditions by imposing on a fictitious boundary a boundary condition by the means of a Fourier expansion. For numerical purposes, we propose an original algorithm based on a fixed-point technique applied to the problem set in the truncated domain. We will interprate this method as a domain decomposition solver which allows to state convergence results. The improvement brought by this method is a consequence of the sparsity presentation of the finite matrix system which is decomposed only once.

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

The aim of this work is to devise a method to determine the optimal position of the nodes in a finite element discretization for a boundary value problem. The node displacement procedure (also called R-adaptation) is a crucial step in a global mesh adaptation procedure. In the present approch, we determine the nodal position by minimizing the approximation error. This error is evaluated using a hierarchical estimator. A numerical test is presented.

L'objectif de ce travail est de déterminer la meilleure position des noeuds d'un maillage, utilisé lors de la discrétisation d'un problème aux limites par la méthode des éléments finis. La procédure de déplacement des noeuds (appelé aussi R-adaptation) est une étape importante dans la stratégie globale d'adaptation de maillage. La position optimale des noeuds est déterminée en minimisant l'erreur d'approximation. Pour évaluer cette erreur nous utilisons l'estimateur d'erreur hiérarchique. Un test numérique est présenté.
A stochastic modelling of phytoplankton aggregation
Authors: El Saadi Nadjia , Arino Ovide
Published: January 2021

The aim of this work is to provide a stochastic mathematical model of aggregation in phytoplankton, from the point of view of modelling a system of a large but finite number of phytoplankton cells that are subject to random dispersal, mutual interactions allowing the cell motions some dependence and branching (cell division or death). We present the passage from the ''microscopic'' description to the ''macroscopic'' one, when the initial number of cells tends to infinity (large phytoplankton populations). The limit of the system is an extension of the Dawson-Watanabe superprocess: it is a superprocess with spatial interactions which can be described by a nonlinear stochastic partial differential equation.

L'objectif de ce travail est de fournir un modèle mathématique stochastique qui décrit l'aggrégation du hytoplancton,à partir de la modélisation d'un système de grande taille, mais finie, de cellules de phytoplancton sujettes à une dispersion aléatoire, des interactions spatiales qui donnent aux mouvements des cellules une certaine dépendance et un branchement (division cellulaire ou mort). Nous présentons le passage de la description microscopique à une description macroscopique, lorsque le nombre de cellules devient très grand (grandes populations de phytoplancton). La limite du système est une extension du superprocessus de Dawson-Watanabe: c'est un superprocessus avec interactions qui peut être décrit par une équation aux dérivées partielles stochastique non linéaire.
Modélisation d'une population de mérous, effets du braconnage et de la migration
Authors: Ben Miled Slimane , Kebir Amira
Published: January 2021

The aim of our work is to model the dynamics of a grouper population in a fishing zone, by holding account at the same time : the natural growth, the predation and the migrations, and to study the impact of the poaching on this population

L'objectif est de modéliser la dynamique d'une population de mérous dans un territoire de pêche d'une côte marine, en tenant compte à la fois de la croissance naturelle, de la pêche et des migrations, et d'étudier l'effet du braconnage sur cette population
Solutions de similitude d'un jeu différentiel stochastique
Authors: Lefebvre Mario
Published: January 2021

A two-dimensional controlled stochastic process defined by a set of stochastic differential equations is considered. Contrary to the most frequent formulation, the control variables appear only in the infinitesimal variances of the process, rather than in the infinitesimal means. The differential game ends the first time the two controlled processes are equal or their difference is equal to a given constant. Explicit solutions to particular problems are obtained by making use of the method of similarity solutions to solve the appropriate partial differential equation.

On considère un processus stochastique commandé bidimensionnel défini par un ensemble d'équations différentielles stochastiques. Contrairement à la formulation la plus fréquente, les variables de commande apparaissent dans les variances infinitésimales du processus, plutôt que dans les moyennes infinitésimales. Le jeu différentiel prend fin lorsque les deux processus sont égaux ou que leur différence est égale à une constante donnée. Des solutions explicites à des problèmes particuliers sont obtenues en utilisant la méthode des similitudes pour résoudre l'équation aux dérivées partielles appropriée.
New Evolutionary Classifier Based on Genetic Algorithms and Neural Networks: Application to the Bankruptcy Forecasting Problem
Authors: Esseghir M.A.
Published: January 2021

Artificial neural networks (ANNs) have been widely applied in data mining as a supervised classification technique. The accuracy of this model is mainly provided by its high tolerance to noisy data as well as its ability to classify patterns on which they have not been trained. Moreover, the performance to ANN based models mainly depends both on the ANN parameters and on the quality of input variables. Whereas, an exhaustive search on either appropriate parameters or predictive inputs is very computationally expansive. In this paper, we propose a new hybrid model based on genetic algorithms and artificial neural networks. Our evolutionary classifier is capable of selecting the best set of predictive variables, then, searching for the best neural network classifier and improving classification and generalization accuracies. The designated model was applied to the problem of bankruptcy forecasting, experiments have shown very promising results for the bankruptcy prediction in terms of predictive accuracy and adaptability.
A Comparative study of sample selection methods for classification
Authors: Lutu Patricia E.N. , Engelbrecht Andries P.
Published: January 2021

Sampling of large datasets for data mining is important for at least two reasons. The processing of large amounts of data results in increased computational complexity. The cost of this additional complexity may not be justifiable. On the other hand, the use of small samples results in fast and efficient computation for data mining algorithms. Statistical methods for obtaining sufficient samples from datasets for classification problems are discussed in this paper. Results are presented for an empirical study based on the use of sequential random sampling and sample evaluation using univariate hypothesis testing and an information theoretic measure. Comparisons are made between theoretical and empirical estimates.

L’échantillonnage pour le minage de large ensemble de données est important pour au moins deux raisons. Le traitement de grande quantité de données a pour résultat une augmentation de la complexité informatique. Le coût de cette complexité additionnelle pourrait être non justifiable. D’autre part, l’utilisation de petits échantillons a pour résultat des calculs rapides et efficaces pour les algorithmes de minage de données. Les méthodes de statistique pour obtenir des échantillons d’ensemble de donnés satisfaisants pour les problèmes de classification sont discutées dans ce papier. Des résultats sont présentés pour une étude empirique basée sur l’utilisation d’échantillonnage aléatoire séquentiel et l’évaluation d’échantillon utilisant le test d’hypothèse univariée et une mesure théorétique de l’information. Des comparaisons sont faites entre des estimations théoriques et empiriques
Avant Propos
Authors: Niane Mary Teuw , Sallet Gauthier , Sari Tewik , Touré Hamidou
Published: January 2021

Les amis de Claude Lobry ont organisé du 10 au 14 septembre 2007 à l’université Gaston Berger de Saint Louis une conférence en son honneur. Les apports scientifiques de Claude Lobry ont été non seulement multiformes et pluridisciplinaires, mais il a souvent été un précurseur dans nombre d’activités. Cette conférence s’est tenue en Afrique, à la demande des mathématiciens africains, en raison de l’activité particulière de Claude Lobry pour le développement des mathématiques en Afrique depuis sa prise de fonction comme Directeur du CIMPA en 1995 jusqu’à nos jours. Son livre « Les mathématiques : une nécessité pour le développement » est un vibrant plaidoyer pour le développement des mathématiques en Afrique
Claude Lobry, un mathématicien militant
Authors: Sallet Gauthier
Published: January 2021

We show in this communication, that Claude Lobry has always been contributing to mathematics and simultaneously promoting actions to develop a certain idea of acting in mathematics

On montre ici que Claude Lobry, ne peut s’empêcher de faire à la fois des mathématiques et de développer des actions pour promouvoir une certaine façon de faire des mathématiques.
Two simple growth models in the chemostat
Authors: Gouzé Jean-Luc , Lemesle Valérie
Published: January 2021

In a chemostat, transient oscillations are often experimentally observed during cell growth. The aim of this paper is to propose simple autonomous models which are able (or not) to generate these oscillations, and to investigate them analytically. Our point of view is based on a simplification of the cell cycle in which there are two states (mature and immature) with the transfer between the two dependent on the available resources. We built two similar models, one with cell biomass and the other with cell number density. We prove that the first one oscillates, but not the second. This paper is dedicated to Claude Lobry, who helped us to build a first version of these models.

On observe parfois des oscillations pendant la croissance de cellules dans un chémostat. Nous proposons ici deux modèles autonomes simples de croissance cellulaire (en dimension trois) basés sur des hypothèses réalistes, structurés en stades (les cellules matures et les cellules immatures) : le premier modèle est écrit en nombre de cellules, et peut présenter des oscillations. Le deuxième modèle est écrit en biomasse, et n’admet pas d’oscillations à cause de la conservation de la masse. Nous étudions les deux modèles. Cet article est dédié à Claude Lobry, qui a participé aux premières étapes de l’écriture des modèles.
La méthode des élucidations successives
Authors: Lobry Claude
Published: January 2021

In the process of elaboration of a model one emphasize on the necessity of confronting the model with the reality which it is supposed to represent. There is another aspect of the modelling process, to my opinion also essential, about which one usually do not speak. It consists in a logico-linguistic work where formal models are used to produce prediction which are not confronted with the reality but serve for falsifying assertions which nevertheless seemed to be derived from the not formalized model. More exactly a first informal model is described in the natural language and, considered in the natural language, seems to say some thing but in a more or less clear way. Then we translate the informal model into a formal model (mathematical model or computer model) where what was argumentation becomes demonstration.The formal model so serves for raising ambiguities of the natural language. But conversely a too much formalized text quickly loses any sense for a human brain what makes necessary the return for a less formal language. It is these successive "translations" between more or less formal languages that I try to analyze on two examples, the first one in population dynamics, the second in mathematics.

Dans le processus d’élaboration d’un modèle on insiste beaucoup sur la nécessité de confronter le modèle à la réalité qu’il est sensé représenter. Il est un autre aspect de la modélisation, à mon avis tout aussi essentiel, dont on ne parle pas. Il s’agit d’un travail logico-linguistique où des modèles formels sont utilisés pour produire des prédiction qui ne sont pas confrontées à la réalité mais servent à falsifier des affirmations qui semblaient pourtant se déduire du modèle. Plus précisément un premier modèle informel est décrit dans la langue naturelle et, toujours dans la langue naturelle, semble dire quelques chose mais de façon plus ou moins claire. Alors on traduit le modèle informel en un modèle formel (mathématique ou informatique) où ce qui était argumentation devient démonstration. Le modèle formel sert ainsi à lever des ambiguïtés de la langue naturelle. Mais inversement un texte trop formalisé perd rapidement tout sens pour un cerveau humain ce qui rend nécessaire le retour à une langue moins formelle. Ce sont ces “traductions" successives entre langues plus ou moins formelles que je cherche à analyser sur deux exemples, le premier en dynamique des populations, le second en mathématiques.
Continuous branching processes : the discrete hidden in the continuous : Dedicated to Claude Lobry
Authors: Pardoux Etienne
Published: January 2021

Feller diffusion is a continuous branching process. The branching property tells us that for t > 0 fixed, when indexed by the initial condition, it is a subordinator (i. e. a positive–valued Lévy process), which is fact is a compound Poisson process. The number of points of this Poisson process can be interpreted as the number of individuals whose progeny survives during a number of generations of the order of t × N, where N denotes the size of the population, in the limit N ―>µ. This fact follows from recent results of Bertoin, Fontbona, Martinez [1]. We compare them with older results of de O’Connell [7] and [8]. We believe that this comparison is useful for better understanding these results. There is no new result in this presentation.

La diffusion de Feller est un processus de branchement continu. La propriété de branchement nous dit que à t > 0 fixé, indexé par la condition initiale, ce processus est un subordinateur (processus de Lévy à valeurs positives), qui est en fait un processus de Poisson composé. Le nombre de points de ce processus de Poisson s’interprète comme le nombre d’individus dont la descendance survit au cours d’un nombre de générations de l’ordre de t × N, où N désigne la taille de la population, dans la limite N --> µ. Ce fait découle de résultats récents de Bertoin, Fontbona, Martinez [1]. Nous le rapprochons de résultats plus anciens de O’Connell [7] et [8]. Ce rapprochement nous semble aider à mieux comprendre ces résultats. Cet article ne contient pas de résultat nouveau.
Practical coexistence in the chemostat with arbitrarily close growth functions
Authors: Rapaport Alain , Dochain Denis , Harmand Jérôme
Published: January 2021

We show that the coexistence of different species in competition for a common resource may be substantially long when their growth functions are arbitrarily closed. The transient behavior is analyzed in terms of slow-fast dynamics. We prove that non-dominant species can first increase before decreasing, depending on their initial proportions.

Nous montrons que la coexistence entre différentes espèces en compétition sur une même ressource peut durer sensiblement, lorsque leurs courbes de croissance sont arbitrairement proches. Le comportement transitoire est analysé en termes de dynamiques lente-rapide. Nous prouvons que des espèces non dominantes peuvent d’abord croître avant de décrroître, en fonction de leurs proportions initiales.
On a Radially Symmetrical Green’s Function
Authors: Isselkou Ould Ahmed Izid Bih
Published: January 2021

It is quite usual to transform elliptic PDE problems of second order into fixed point integral problems, via the Green’s function. But it is not easy, in general, to handle integrals involved in such a formulation. When it comes to the Laplacian operator on balls of Rn, we give here a radially symmetrical Green’s function which, under some nonlinearity assumptions, makes the Green’s Integral representation formula easier to use; we give three examples of application.

Il est courant de transformer un problème, donné sous forme d’EDP elliptique de second ordre, en un problème intégral de point fixe, et ce en utilisant la fonction de Green. En général, les intégrales intervenant dans une telle formulation, sont de maniement difficile. Lorsqu’il s’agit de l’opérateur du Laplacien sur des boules de Rn, nous montrons l’existence d’une fonction de Green à symétrie radiale; elle permet, moyennant des hypothèses adéquates sur la non linéarité, de faciliter l’usage de la Formule de représentation de Green; nous donnons trois exemples d’application.
On some robust algorithms for the Robin inverse problem
Authors: Jaoua Mohamed , Chaabane Slim , Elhechmi Chokri , Leblond Juliette , Mahjoub Moncef , Partington Jonathan R.
Published: January 2021

The problem we are dealing with is to recover a Robin coefficient (or impedance) from measurements performed on some part of the boundary of a domain, in the framework of nondestructive testing by the means of Electric Impedance Tomography. The impedance can provide information on the location of a corroded area, as well as on the extent of the damage, which has possibly occurred on an unaccessible part of the boundary. Two different identification algorithms are presented and studied: the first one is based on a Kohn and Vogelius cost function, actually an energetic least squares one, which turns the inverse problem into an optimization one ; as for the second, it makes use of the best approximation in Hardy classes, in order to extend the Cauchy data to the unreachable part of the boundary, and then compute the Robin coefficient from these extended data. Special focus is put on the robustness with respect to noise, both from a mathematical and and numerical point of view. Some numerical experiments are eventually presented and compared.

Dans ce travail nous nous sommes intéressé à un problème d’identification d’un coefficient de Robin (ou une impédence) à partir de mesures effectuées sur une certaine partie de la frontière d’un domaine. Ce problème est motivé par le contrôle non destructif des matériaux en tomographie par impédance électrique. L’impédance peut fournir des informations sur l’emplacement d’une zone de corrosion, ainsi que sur l’étendue des dommages, qui a peut-être eu lieu sur une partie inaccessible de la frontière. Deux algorithmes d’identification sont présentés et étudiés: le premier est basé sur la minimisation des fonctionnelles d’écart énergétiques, dite de Kohn et Vogelius, comme pour le second, il fait usage à l’approximation dans les classes de Hardy afin de prolonger les données de Cauchy à la partie inaccessible de la frontière, puis calculer le coefficient de Robin qui est le quotient de ces données étendues. L’accent est mis sur la robustesse par rapport au bruit, à la fois d’un point de vu mathématique et numérique. Des expériences numériques sont finalement présentées et comparées.
Quantum systems and control 1
Authors: Rouchon Pierre
Published: January 2021

http://www-direction.inria.fr/international/arima/009/00920.html

This paper describes several methods used by physicists for manipulations of quantum states. For each method, we explain the model, the various time-scales, the performed approximations and we propose an interpretation in terms of control theory. These various interpretations underlie open questions on controllability, feedback and estimations. For 2-level systems we consider: the Rabi oscillations in connection with averaging; the Bloch-Siegert corrections associated to the second order terms; controllability versus parametric robustness of open-loop control and an interesting controllability problem in infinite dimension with continuous spectra. For 3-level systems we consider: Raman pulses and the second order terms. For spin/spring systems we consider: composite systems made of 2-level sub-systems coupled to quantized harmonic oscillators; multi-frequency averaging in infinite dimension; controllability of 1D partial differential equation of Shrödinger type and affine versus the control; motion planning for quantum gates. For open quantum systems subject to decoherence with continuous measures we consider: quantum trajectories and jump processes for a 2-level system; Lindblad-Kossakovsky equation and their controllability.

Ce papier décrit plusieurs méthodes utilisées par les physiciens pour la manipulation d’états quantiques. Pour chaque méthode, nous expliquons la modélisation, les diverses échelles de temps, les approximations faites et nous proposons une interprétation en termes de contrôle. Ces diverses interprétations servent de base à la formulation de questions ouvertes sur la commandabilité et aussi sur le feedback et l’estimation, renouvelant un peu certaines questions de base en théorie des systèmes non-linéaires. Pour les systèmes à deux niveaux, dits aussi de spin 1/2, il s’agit: des oscillations de Rabi et d’une approximation au premier ordre de la théorie des perturbations (transition à un photon); des corrections de Bloch-Siegert et d’approximation au second ordre; de commandabilité et de robustesse paramétrique pour des contrôles en boucle ouverte, robustesse liée à des questions largement ouvertes sur la commandabilité en dimension infinie où le spectre est continu. Pour les systèmes à trois niveaux, il s’agit: de pulses Raman; d’approximations au second ordre. Pour les systèmes spin/ressort, il s’agit: des systèmes composés de sous-systèmes à deux niveaux couplés à des oscillateurs harmoniques quantifiés; de théorie des perturbations à plusieurs fréquences en dimension infinie; de commandabilité d’équations aux dérivées partielles de type Schrödinger sur R et affine en contrôle; de planification de trajectoires pour la synthèse portes logiques quantiques. Pour les systèmes ouverts soumis à la décohérence avec des mesures en continu, il s’agit: de trajectoires quantiques de Monte-Carlo et de processus à sauts sur un systèmes à deux niveaux; des équations de Lindblad-Kossakovsky avec leur commandabilité.
Théorie générale d’équation de type hyperbolique-parabolique non linéaire
Authors: Touré Hamidou
Published: January 2021

We develop general theory for degenerate hyperbolic-parabolic type problems using semi-group theory in Banach spaces. We establish existence, uniqness results and continuous dependance with respects to data for mild solution. Similar results are developped for weak solution of entropy type, and existence of solutions are studied.

Nous développons une théorie générale pour des équations d’évolution de type hyperbolique parabolique non linéaire à l’aide de la théorie des semi-groupes non linéaires dans les espaces de Banach. Nous établissons des résultats d’existence, d’unicité et de dépendance continue par rapport aux données d’une bonne solution du problème de Cauchy ou des problèmes aux limites associées à cette équation sous des hypothèses très générales. Avec des hypothèses complémentaires, nous montrons que cette bonne solution est une solution locale de type entropique, nous étudions également l’unicité des solutions faibles et l’existence de solution forte.
Sur le retard à la bifurcation
Authors: Fruchard Augustin , Schäfke Reinhard
Published: January 2021

We give a non-exhaustive overview of the problem of bifurcation delay from its appearance in France at the end of the 80ies to the most recent contributions. We present the bifurcation delay for differential equations as well as for discrete dynamical systems.

Nous donnons un aperçu non exhaustif du problème du retard à la bifurcation, depuis son apparition en France à la fin des années 1980 jusqu’aux contributions les plus récentes. Le problème et les résultats sont présentés d’une part pour les équations différentielles et d’autre part pour les systèmes dynamiques discrets
Une approche pour la modèlisation et le contrôle des instabilités de combustion
Authors: Landau Ioan Doré , Bouziani Fethi , Bitmead Robert R.
Published: January 2021

A set of two coupled genralized Vand der Pol equations is proposed as a control model for combustion instabilities. The system is analyzed using the Krylov-Bogoliubov method. The control aspects related to quenching of the oscillations are examined. The analysis results are compared with simulation results.

Un système de deux équations de Van der Pol généralisées et couplées est proposé comme un modèle de commande pour l’instabilité de combustion. Ce système est analysé en utilisant la méthode de Krylov-Bogoliubov. Les aspects de commande conduisant à l’extinction des oscillations sont examinés. Les résultats de l’analyse sont comparés avec des tests en simulation.
Canard solutions and bifurcations in smooth models of plane structure variable systems
Authors: Albuquerque Luis Gonzaga
Published: January 2021

Systems that operate in different modes with quick transition are usually studied through discontinuous systems. We give a model of a smoothing of the transition between two vector fields along a separation line, allowing perturbations of the vector fields and of the separation line. In this model there appears a canard phenomenon in certain macroscopically indeterminate situations. This phenomenon gives a new point of view on some situations usually studied through discontinuous bifurcations. We also study the dynamics near the transition line through an associated slow-fast system and compare the slow dynamics with the classical theory, namely, sliding mode dynamics in variable structure systems and equivalent control.

Le raccordement des trajectoires de deux champs de vecteurs donnés de part et d’autre d’une courbe dans le plan, est fait d’habitude à travers des champs discontinues. On donne un modèle de lissage de ce raccordement, qui fait apparaître des phénomènes canard, dans certaines situations macroscopiquement indeterminés. On utilise un champ lent-rapide associé au modèle de raccordement, pour étudier les dynamiques dans un voisinage infinitésimal de la ligne de transition et on fait un étude comparative avec la théorie classique, notamment: mouvements glissants dans les systèmes de structure variable et contrôle équivalent.
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.
Modélisation des interactions de coopération dans la conduite d'un projet de simulation
Authors: Korichi Ahmed , Belattar Brahim
Published: January 2021

This study was carried out within the framework of a research project entitled «CSCW and Simulation: Toward a group-oriented platform of analysis and design of production systems». The object of this project is to analyze the cooperation practices during the conduct of a project of modeling and simulation of a production system, then to specify and develop a simulation groupware with an aim of adding the group dimension to simulation tools. In this paper, we define and we present a modeling of cooperation interactions in the conduct of cooperative simulation project using the Denver Model. We illustrate our approach by presenting our experiment with BSCW system to validate our modeling.
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.
Préface au numéro spécial de la revue ARIMA dédié à TAM-TAM'09
Authors: Jaoua Mohamed , Philippe Bernard , Mghazali Zoubida
Published: January 2021

Foreword to the special issue of Arima Journal dedicated to TAM-TAM'09
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.