Search results for "Modeling"
showing 10 items of 4489 documents
Common fixed points in cone metric spaces for CJM-pairs
2011
Abstract In this paper we introduce some contractive conditions of Meir–Keeler type for two mappings, called f - M K -pair mappings and f - C J M -pair (from Ciric, Jachymski, and Matkowski) mappings, in the framework of regular cone metric spaces and we prove theorems which guarantee the existence and uniqueness of common fixed points. We give also a fixed point result for a multivalued mapping that satisfies a contractive condition of Meir–Keeler type. These results extend and generalize some recent results from the literature. To conclude the paper, we extend our main result to non-regular cone metric spaces by using the scalarization method of Du.
Decipher the mechanisms of protein conformational changes induced by nucleotide binding through free-energy landscape analysis: ATP binding to Hsp70.
2013
ATP regulates the function of many proteins in the cell by transducing its binding and hydrolysis energies into protein conformational changes by mechanisms which are challenging to identify at the atomic scale. Based on molecular dynamics (MD) simulations, a method is proposed to analyze the structural changes induced by ATP binding to a protein by computing the effective free-energy landscape (FEL) of a subset of its coordinates along its amino-acid sequence. The method is applied to characterize the mechanism by which the binding of ATP to the nucleotide-binding domain (NBD) of Hsp70 propagates a signal to its substrate-binding domain (SBD). Unbiased MD simulations were performed for Hsp…
Conjectural reconstruction from archive drawings: methodological aspects
2018
The digital reconstruction of architectural projects starting from archive sources is a well established disciplinary application useful for the study and analysis of architecture and its relations with the historical context as well as for the representation of volumes and spaces not visible in the original documents. Given the importance recognized to these operations which inevitably involve processes of hermeneusi we propose methodological guidelines for the drafting a protocol limiting arbitrariness as much as possible. The analysis was carried out on three projects by Giuseppe Damiani Almeyda (Capua 1834 - Palermo 1911), Ernesto Basile (Palermo 1857-1932) and Salvatore Benfratello (Pa…
UML-Based Reliability Modeling of Network Services, a UDP Echo Service Case Study
2009
In the paper, we discuss state space reliability modeling formalism of distributed systems and services compliant with UML metamodel. Behavior of modeled application system we describe in terms of states. Service generation process we represent as a sequence of application system states. State space approach allows us to define dependence between application system components via dependence between components states and states input, output parameters. Reliability of application system component we define for each simply action state. Reliability of a service we express by components reliability in states determined by service generation process. As an example, we analyze reliability of cli…
The Origin of Isolated Populations of the Mountain Weevil, Liparus glabrirostris—The Flagship Species for Riparian Habitats
2020
AbstractLiparus glabrirostris is one of the largest European weevils, and it has been recently proposed as the flagship species for threatened riparian habitats in the mountains. For effective conservation of its populations (and associated habitats), it is crucial to understand its history, contemporary distribution, genetic diversity and predict changes in the range, including its highly isolated populations on the Baltic coast. Here, we examined numerous populations of L. glabrirostris across almost the entire species range using phylogeography and species niche modeling (SNM) approaches. Analyses of mtDNA and nucDNA markers revealed the existence of 2 major mitochondrial lineages genera…
Approximate Lax–Wendroff discontinuous Galerkin methods for hyperbolic conservation laws
2017
Abstract The Lax–Wendroff time discretization is an alternative method to the popular total variation diminishing Runge–Kutta time discretization of discontinuous Galerkin schemes for the numerical solution of hyperbolic conservation laws. The resulting fully discrete schemes are known as LWDG and RKDG methods, respectively. Although LWDG methods are in general more compact and efficient than RKDG methods of comparable order of accuracy, the formulation of LWDG methods involves the successive computation of exact flux derivatives. This procedure allows one to construct schemes of arbitrary formal order of accuracy in space and time. A new approximation procedure avoids the computation of ex…
Geographic Distribution and Niche Divergence of Two Stinkbugs,Parastrachia japonensisandParastrachia nagaensis
2014
Parastrachiidae is a small stinkbug family containing only one genus and two species, Parastrachia japonensis (Scott) (Hemiptera: Heteroptera: Pentatomoidea) and Parastrachia nagaensis Distant. The geographic distribution of the genus has been poorly studied. Niche conservatism refers to that idea that closely related species are more ecologically similar than would be expected, whereas niche divergence predicts they occupy distinct niche spaces. The existence of only two species within one genus suggests niche conservatism or differentiation might exist among them. Herein, the distribution of the genus was mapped, potential distributions were predicted using ecological niche modeling, and …
Vers des indicateurs locaux de performance énergétique : les étiquettes énergétiques territoriales. Une première approche à partir de l'estimation de…
2009
Global warming compels to investigate the decrease of green house gas effect emissions and so energy consumption reduction. At local scale, it leads to reach concrete goals regarding energy efficiency, which could be approached through the definition of indicators and guidelines for decision-makers. From the example of the city of Besançon (France), this research aims to define an original indicator, useful for planners. Considering a standardized mobility behaviour of inhabitants, we propose elements of methodology to measure the relative energy consumption of each zone based on their relative distance to the nearest shops, services and employment zones. The results display "zonal energy l…
The exact finite‐difference scheme for vector boundary‐value problems with piece‐wise constant coefficients
1998
We will consider the exact finite‐difference scheme for solving the system of differential equations of second order with piece‐wise constant coefficients. It is well‐known, that the presence of large parameters at first order derivatives or small parameters at second order derivatives in the system of hydrodynamics and magnetohydrodynamics (MHD) equations (large Reynolds, Hartmann and others numbers) causes additional difficulties for the applications of general classical numerical methods. Thus, important to work out special methods of solution, the so‐called uniform converging computational methods. This gives a basis for the development of special monotone finite vector‐difference schem…
Dynamic analysis for axially moving viscoelastic panels
2012
In this study, stability and dynamic behaviour of axially moving viscoelastic panels are investigated with the help of the classical modal analysis. We use the flat panel theory combined with the Kelvin–Voigt viscoelastic constitutive model, and we include the material derivative in the viscoelastic relations. Complex eigenvalues for the moving viscoelastic panel are studied with respect to the panel velocity, and the corresponding eigenfunctions are found using central finite differences. The governing equation for the transverse displacement of the panel is of fifth order in space, and thus five boundary conditions are set for the problem. The fifth condition is derived and set at the in-…