bluuebunny/crossref_metadata_2025_split huggingface dataset:
CO-ADSORPTION CALCULATIONS OF CO AND H2O MOLECULES ON ATOMIC CU CLUSTER DEPOSITED ZNO SURFACE: A DENSITY FUNCTIONAL THEORY STUDY
Authors: THANH CONG VO , DO QUY DIEM , THANH TAM PHAM , THANH KHUE VAN , VAN TAT PHAM 
Published: January 2021

Calculations of adsorption and reaction mechanism on ZnO surface have been investigated. In this work, the deposition of six atomic copper clusters (6Cu) on ZnO surface (called 6Cu/ZnO model), using density functional theory was employed to calculate for CO and H2O co-adsorption. In performance, on ZnO surface, 6Cu were adsorbed to obtain four stable sites of 6Cu/ZnO model, called as 6Cu-I, 6Cu-II, 6Cu-III, and 6Cu-IV. The calculated results found that the 6Cu-IV was the most stable surface model, thus, used to examine the co-adsorption of CO and H2O molecules. Further, CO and H2O co-adsorption on ZnO surface were calculated also to compare with 6Cu/ZnO surface. Based on co-adsorption energy calculations indicated that CO and H2O co-adsorption on 6Cu/ZnO surface were more favorable than on ZnO surface. The studied results will provide an insight into the effective adsorption of cluster on ZnO-based surface by deposition.
Reconstruction of missing boundary conditions from partially overspecified data : the Stokes system
Authors: Ben Abda Amel , Khayat Faten 
Published: January 2021

We are interested in this paper with the ill-posed Cauchy-Stokes problem. We consider a data completion problem in which we aim recovering lacking data on some part of a domain boundary , from the knowledge of partially overspecified data on the other part. The inverse problem is formulated as an optimization one using an energy-like misfit functional. We give the first order opti-mality condition in terms of an interfacial operator. Displayed numerical results highlight its accuracy.
Nous nous intéressons à un problème de Cauchy mal posé, celui de la complétion de données frontières pour les équations de Stokes. Nous voulons reconstituer les données manquantes sur une partie non accessible de la frontière du domaine à partir de données peu surdéterminées sur la partie accessible. Nous formulons ce problème inverse sous forme de minimisation d'une fonctionnelle de type énergie. Les conditions d'optimalité du premier ordre sont écrites en termes d'équation d'interface utilisant les opérateurs de Stecklov-Poincaré. Nous donnons des résultats numériques attestant l'efficacité de la méthode.
Analysis of Texture Applied to Renal Echography
Authors: Tahiri Alaoui M. , Farssi S.M. , Touzani K. , Bunel P. 
Published: January 2021

Renal echography remains the least expensive means for the exploration of the kidney. The system that we propose is a contribution for the diagnostic automatic of the kidney on ultrasound image. The analysis of texture is a technique which proved reliable in the field of the characterization of the human organs on ultrasound images. Indeed, our contribution aims at the characterization of the images of echographic textures of the kidney. This characterization is, in a first level, structural to evaluate the presence (form and position) of the various components of the kidney (clusters, medullary cortical zone). The statistical analysis of texture constitutes our second approach by carrying out virtual punctures on the kidney in order to be able to evaluate its state by quantifying the texture of the various areas characteristic of the kidney .
L'échographie rénale reste le moyen le moins coûteux pour l'exploration du rein. Le système que nous proposons est une contribution à l'amélioration du diagnostic automatique du rein par l'analyse de texture, une technique qui a fait ses preuves dans le domaine de la caractérisation des organes humains sur des images ultrasoniques. Dans un premier temps, la caractérisation structurelle des images de texture échographique du rein permettra de visualiser (forme et position) les différentes composantes du rein (glomérules, médullaire, zone corticale). Elle sera complétée par l'analyse statistique de texture qui consistera à réaliser des ponctions virtuelles sur le rein pour en évaluer l'état général en quantifiant la texture des différentes régions caractéristiques
Régularisation de l'équation de Galbrun pour l'aéroacoustique en régime transitoire
Authors: Bonnet-Bendhia Anne Sophie , Berriri Kamel , Joly Patrick 
Published: January 2021

In this paper we are interested in the mathematical and numerical analysis of the timedependent Galbrun equation in a rigid duct. This equation modelizes the acoustic propagation in presence of flow. We prove the well-posedness of the problem for a subsonic uniform flow. Besides, we propose a regularized variational formulation of the problem suitable for an approximation by Lagrange finite elements.
Dans ce papier, nous nous intéressons à l'analyse mathématique et à l'approximation numérique de l'équation de Galbrun en régime transitoire dans un conduit rigide. Cette équation modélise la propagation d'ondes acoustiques en présence d écoulement. Nous montrons pour un écoulement porteur uniforme subsonique que ce modèle a une solution unique. En outre, nous proposons une formulation variationnelle régularisée qui se prête à une approximation par éléments finis de Lagrange.
Un modèle Darcy-Forchheimer pour un écoulement dans un milieu poreux fracturé
Authors: Frih Najla , Roberts Jean E. , Saada Ali 
Published: January 2021

We propose a numerical model for the flow of a single phase,incompressible fluid in a porous medium with fractures. In this model, the flow obeys Forchheimer's law in the fracture and Darcy's law in the rock matrix.
Nous proposons un modèle numérique d'un écoulement monophasique d'un fluide incompressible dans un milieu poreux fracturé. Les lois d'écoulement sont celle de Forchheimer dans la fracture et de Darcy dans la matrice rocheuse.
An Algorithm for the Navier-Stokes Problem
Authors: Nouri F.Z. , Amoura K. 
Published: January 2021

This study is a continuation of the one done in [7],[8] and [9] which are based on the work, first derived by Glowinski et al. in [3] and [4] and also Bernardi et al. [1] and [2]. Here, we propose an Algorithm to solve a nonlinear problem rising from fluid mechanics. In [7], we have studied Stokes problem by adapting Glowinski technique. This technique is userful as it decouples the pressure from the velocity during the resolution of the Stokes problem. In this paper, we extend our study to show that this technique can be used in solving a nonlinear problem such as the Navier Stokes equations. Numerical experiments confirm the interest of this discretisation.
Cette étude est la continuation des travaux [7],[8] et [9] qui sont basés sur l'étude faite par Glowinski et al. [3] et [4] ainsi que Bernardi et al. (voir [1] et [2]). Ici nous proposons un Algorithme pour résoudre un problème non-linéaire issu de la mécanique des fluides. Dans [7] nous avons étudié le problème de Stokes en adaptant la technique de Glowinski, grace à aquelle, on peut découpler la pression de la vitesse lors de la résolution du problème de Stokes. Dans ce travail, nous étendons notre étude et montrons que cette technique peut être utilisée dans la résolution d'un probème non-linéaire comme les quations de Navier Stokes. Des tests numériques confirment l'intérêt de la discrétisation.
Hermite spline interpolents ― New methods for constructing and compressing Hermite interpolants
Authors: Mraoui Hamid , Sbibih Driss 
Published: January 2021

In this paper, we present a quite simple recursive method for the construction of classical tensor product Hermite spline interpolant of a function defined on a rectangular domain. We show that this function can be written under a recursive form and a sum of particular splines that have interesting properties. As application of this method, we give an algorithm which allows to compress Hermite data. In order to illustrate our results, some numerical examples are presented.
Dans ce travail, nous présentons une méthode simple permettant de construire le produit tensoriel des interpolants splines d'Hermite d'une fonction définie sur un domaine rectangulaire. Nous montrons que cette fonction peut être décrite de manière récursive sous la forme d'une somme de fonctions splines qui vérifiant des propriétés intéressantes. Comme application de cette décomposition, nous décrivons un algorithme qui permet de compresser des données d'Hermite. Pour illustrer nos résultats théoriques, nous donnons quelques exemples numériques.
Interoperability test generation: formal definitions and algorithm
Authors: Desmoulin Alexandra , Viho César 
Published: January 2021

In the context of network protocols, interoperability testing is used to verify that two (or more) implementations communicate correctly while providing the services described in their respective specifications. This study is aimed at providing a method for interoperability test generation based on formal definitions. Contrary to previous works, this study takes into account quiescence of implementations that may occur during interoperability testing. This is done through the notion of interoperability criteria that give formal definitions of the different existing pragmatic interoperability notions. It is first proved that quiescence management improves non-interoperability detection. Two of these interoperability criteria are proved equivalent leading to a new method for interoperability test generation. This method avoids the well-known state explosion problem that may occur when using existing classical approaches.
Dans le contexte des protocoles réseaux, le test d'interopérabilité est utilisé pour vérifier si deux (ou plus) implémentations communiquent correctement tout en fournissant les services décrits dans les spécifications correspondantes. Le but de cet article est de fournir une méthode pour la génération de tests d'interopérabilité basée sur une définition formelle de la notion d'interopérabilité. Contrairement aux travaux précédents, cette étude prend en compte les blocages des implémentations qui peuvent être observés durant un test d'interopérabilité. Ceci est réalisé via la notion de critères d'interopérabilité, qui donnent des définitions formelles des notions d'interopérabilité existantes. Il est tout d'abord prouvé que la gestion des blocages améliore la détection de la non-interopérabilité. L'équivalence de deux des critères est aussi prouvée permettant l'introduction d'une nouvelle méthode de génération de tests d'interopérabilité. Cette méthode permet d'éviter le problème d'explosion combinatoire du nombre d'états que rencontrent les approches classiques.
Complexity in a prey-predator model
Authors: Camara Baba I. , Alaoui Moulay A. Aziz 
Published: January 2021

In this paper we consider a predator-prey model given by a reaction-diffusion system. It incorporates the Holling-type-II and a modified Leslie-Gower functional response. We focus on qualitaive analysis, bifurcation mecanisms and patterns formation.
Nous considérons un modèle proie-prédateur exprimé sous forme de système de réaction diffusion. En absence de diffusion, le système étudié est de type Holling-type-II et la réponse fonctionnelle une forme modifiée du terme de Leslie-Gower. Dans cet article, nous nous intéressons à l’analyse qualitative des solutions , l’étude des bifurcations et la formation de motifs spatio-temporels.
Nearly recombining processes and the calculation of expectations
Authors: Van den Berg Imme , Amaro Elsa 
Published: January 2021

In the context of Nonstandard Analysis, we study stochastic difference equations with infinitesimal time-steps. In particular we give a necessary and sufficient condition for a solution to be nearly-equivalent to a recombining stochastic process. The characterization is based upon a partial differential equation involving the trend and the conditional variance of the original process. An analogy with Ito’s Lemma is pointed out. As an application we obtain a method for approximation of expectations, in terms of two ordinary differential equations, also involving the trend and the conditional variance of the original process, and of Gaussian integrals.
Dans le contexte de l’Analyse Nonstandard, nous étudions des équations différentielles stochastiques avec des pas infiniment petits. En particulier, nous formulons une condition nécessaire et suffisante pourqu’une solution soit presque-équivalente à un processus stochastique recombinant. La caractérisation est donnée par une équation aux dérivées partielles de la tendance et de la variance conditionnelle du processus de départ. Nous indiquons une analogie avec le Lemme d’Ito. Nous appliquons cette caractérisation au problème de la détermination d’espérances pour le processus de départ. En fait, on obtient une approximation infinitésimale en resolvant deux équations différentielles ordinaires, également de la tendance et de la variance conditionnelle de ce processus, et en calculant une intégrale de Gauss.
The peaking phenomenon and singular perturbations
Authors: Lobry Claude , Sari Tewfik 
Published: January 2021

We study the asymptotic behaviour, when the parameter " tends to 0, of a class of singularly perturbed triangular systems x˙ = f(x, y), y˙ = G(y, "). We assume that all solutions of the second equation tend to zero arbitrarily fast when " tends to 0. We assume that the origin of equation x˙ = f(x, 0) is globally asymptotically stable. Some states of the second equation may peak to very large values, before they rapidly decay to zero. Such peaking states can destabilize the first equation. The paper introduces the concept of instantaneous stability, to measure the fast decay to zero of the solutions of the second equation, and the concept of uniform infinitesimal boundedness to measure the effects of peaking on the first equation. Whe show that all the solutions of the triangular system tend to zero when " ! 0 and t ! +1. Our results are formulated in both classical mathematics and nonstandard analysis.
On étudie le comportement asymptotique, lorsque le paramètre " tend vers 0, de systèmes triangulaires singulièrement perturbés de la forme x˙ = f(x, y), y˙ = G(y, "). On suppose que toutes les solutions de la deuxième équation tendent vers zéro arbitrairement rapidement quand " tend vers 0. On suppose que le système x˙ = f(x, 0) admet l’origine comme équilibre globalement asymptotiquement stable. Certaines solutions de la deuxième équation peuvent présenter un transitoire avec un pic très grand avant de décroître rapidement vers zéro. C’est ce phénomène de peaking qui peut déstabiliser la première équation. On introduit le concept de stabilité instantanée, pour mesurer la décroissance rapide vers zéro des solutions de la deuxième équation, et le concept de système uniformément infinitésimalement borné pour mesurer les effets du peaking sur la première équation. On montre que les solutions du système triangulaire tendent vers zéro quand " ! 0 et t ! +1. Nos résultats sont formulés dans le cadre de l’analyse non standard et sont traduits en termes classiques.
Simulation du remplissage des moules par la méthode des éléments Finis / volume contrôle dans les procédés RTM
Authors: Samir J. , Hattabi M. , Echaabi J. , Saouab A. , Park C.H. 
Published: January 2021

In the course of this study, the simulation of the resin flow in the RTM process is developed by the control volume finite element method (CVFEM) coupled with the equation of the free surface location. This location is made by means of the so called "Volume of Fluid" methods or VOF. Thus, the position of the flow front, the time-lapse and the rate of the non saturated zone are calculated at every step. Our results will be compared with the experimental and analytical models in the literature. On the whole, our study is concerned with the simulation of the thermally insulated filling of moulds in RTM process while adopting the CVFEM and VOF method, taking into account the presence of obstacles, coupled with the thickness variation effect and the reinforcement coats.
La présente étude porte sur la simulation du remplissage isotherme des moules en procédé RTM, en adoptant la méthode CV/FEM et VOF, avec prise en compte de la présence d’obstacles couplée à l’effet de la variation de l’épaisseur et des couches du renfort. Les codes développés ont pour objectif d’optimiser le positionnement des points d’injection, des évents et déterminer les pressions d’injection optimales pour minimiser les temps de cycle. Ces codes utilisent un mailleur propre à l’équipe permettant de discrétiser le domaine en éléments triangulaires non structurés avec possibilité de raffinement local et d’inclusion d’inserts.
Vers une métrique de description objective d'une sensation subjective
Authors: Ouni Sonia , Zagrouba Ezzeddine , Chambah Majeb , Herbin Michel 
Published: January 2021

In the last decade, several image and video quality metrics have been proposed, which incorporate perceptual quality measures by considering the HVS characteristics. All this metrics do the differences pixel to pixel in image. Therefore a local fidelity of the colour is defined. However, the human visual system is rather sensitive to a global quality. In this paper, we propose a new objective full reference quality metric for colour images called Global Delta E and noted: ~ G DE . This metric is based on human visual system properties in order to obtain the best correspondence with judgments. Some experimentations and assessments prove the performance of our metrics and that interrelationship with the SVH.
L'étude du système visuel Humain (SVH) est primordiale pour quantifier la qualité d'une image. Plusieurs travaux ont proposé des métriques de différences de couleurs qui effectuent des différences locales pixel par pixel. Par contre, le système visuel humain est plutôt sensible à une qualité globale. Dans cet article, nous proposons une nouvelle métrique objective de différence couleur basée sur les caractéristiques du système visuel humain. La métrique proposé est appelée Delta E Globale notée : ~ DEG . Quelques expérimentations et évaluations montrent la performance de cette métrique et sa corrélation avec la vision du SVH.
Typing rules OCL specification of QoS-capable ODP Computational Interfaces
Authors: Reda Oussama , EL OUAHIDI Bouabid , BOURGET Daniel 
Published: January 2021

In this work we model the interaction signature concepts in a consistent and compact manner as well as their related type checking rules. First, we begin by literally analyzing those concepts in order to bring unambiguous definitions out of them. Following this analysis we shall formalize those concepts by mapping them into UML language constructs. Secondly, we specify constraints imposed on computational interfaces interaction signatures related to the computational language typing and subtyping rules. We shall show how we can we literally redefine those rules in order to steadily formalize them. After rewriting those rules in a compact way, we make use of OCL 2.0 which provides the means to exploit those new definitions. Then we introduce the concept of Functional computational interface and a set of related concepts which unify signal and operation interfaces notions. Based on the new additional concepts introduced, we introduce two new important concepts, namely; QoS-definable interactions and QoS-capable interfaces. We then provide a UML metamodel of interfaces and interaction signatures. The final metamodel being a first step towards a QoS-capable computational metamodel. Finally, as an application of our modeling choices we define ODP QoScapable computational interfaces type checking rules and then specify them using OCL 2.0
Dans ce travail, nous analysons le concept ODP de signatures d’interfaces de traitement et leurs règles de typages, le but étant de redéfinir les signatures de manière concise et compacte. Pour cela, nous modélisons les signatures par des concepts UML équivalents. Ensuite, nous spécifieons des contraintes imposées sur ces signatures d’interfaces de traitement ODP liées aux règles de typages et sous-typages. Nous allons montrer également comment nous pouvons littéralement redéfinir ces règles afin de mieux les formaliser en utilisant OCL 2.0. Par la suite nous introduisons trois nouveaux concepts qui sont: functional computational interfaces, QoS-definable interactions and QoS-capable interfaces. Finalement, nous définissons les règles typologiques relatives aux QoS-capable interfaces et les spécifions en OCL 2.0
Les Composants Logiciels et La Séparation Avancée des Préoccupations : Vers une nouvelle Approche de Combinaison
Authors: Hariati Mehdi , Meslati Djamel 
Published: January 2021

The component based approach and advanced separation of concerns are two important paradigms for software systems development. Although the two paradigms are complementary and looking for their synergy is a promising issue, only few research works are currently dedicated to their combination. This paper presents a comparative state of the art of the main research works that aim at the synergy of the two paradigms and proposes a new approach of combination that derives from the fact that all potential contributions that can be drawn, are tightly related with the well manipulation of aspects.
L’approche basée composant et la séparation avancée des préoccupations constituent deux paradigmes importants pour le développement des systèmes logiciels. Bien que les deux paradigmes soient complémentaires et que la recherche de leur synergie soit une issue prometteuse, relativement peu de travaux sont actuellement dédiés à leur combinaison. Cet article présente un état de l’art comparatif des principaux travaux qui ciblent la synergie des deux paradigmes et propose une nouvelle approche de combinaison qui part du constat que tous les apports potentiels pouvant être tirés de cette combinaison sont étroitement liés à la bonne manipulation des aspects
Modélisation asymptotique d’une coque peu-profonde de Marguerre-von Kármán généralisée dans le cas dynamique
Authors: Chacha D.A. , Ghezal A. , Bensayah A. 
Published: January 2021

In a recent work Gratie has generalized the classical Marguerre-von Kármán equations studied by Ciarlet and Paumier in [2], where only a portion of the lateral face is subjected to boundary conditions of von Kármán’s type and the remaining portion being free. She shows that the leading term of the asymptotic expansion is characterized by a two-dimensional boundary value problem. In this paper, we extend formally this study to dynamic case.
Dans un travail récent Gratie [7] a généralisé les équations de Marguerre-von Kármán classiques étudiées par Ciarlet et Paumier dans [2], où une partie seulement de la face latérale est soumise à des conditions aux limites de type von Kármán et la partie restante étant libre. Elle montre que le terme dominant du développement asymptotique est caractérisé par un problème aux limites bi-dimensionnel. Dans ce travail, on étend formellement cette étude au cas dynamique