Search results for " Modeling"
showing 10 items of 2411 documents
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…
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…
Constraint Management in Engineering of Complex Information Systems
2009
We propose to build an engineering environment for information systems by using metamodels, OCL and symbolic model checkers to manage constraints. Our proposal is based on a definition of constraints as 3D spaces with dimensions corresponding to UML diagrams, constructs, and abstraction levels. We show how such environments can help with engineering quality complex systems by allowing to lift up a part of constraint verifications.
New Geometric Constraint Solving Formulation: Application to the 3D Pentahedron
2014
Geometric Constraint Solving Problems (GCSP) are nowadays routinely investigated in geometric modeling. The 3D Pentahedron problem is a GCSP defined by the lengths of its edges and the planarity of its quadrilateral faces, yielding to an under-constrained system of twelve equations in eighteen unknowns. In this work, we focus on solving the 3D Pentahedron problem in a more robust and efficient way, through a new formulation that reduces the underlying algebraic formulation to a well-constrained system of three equations in three unknowns, and avoids at the same time the use of placement rules that resolve the under-constrained original formulation. We show that geometric constraints can be …
Solution isolation strategies for the Bernstein polytopes-based solver
2013
The Bernstein polytopes-based solver is a new method developed to solve systems of nonlinear equations, which often occur in Geometric Constraint Solving Problems. The principle of this solver is to linearize nonlinear monomials and then to solve the resulting linear programming problems, through linear programming. However, without any strategy for the isolation of the many solutions of multiple-solution systems, this solver is slow in practice. To overcome this problem, we propose in this work, a study of several strategies for solution isolation, through the split of solution boxes into several subboxes, according to three main steps answering the questions: when, where, and how to perfo…
Towards human cell simulation
2019
The faithful reproduction and accurate prediction of the phe-notypes and emergent behaviors of complex cellular systems are among the most challenging goals in Systems Biology. Although mathematical models that describe the interactions among all biochemical processes in a cell are theoretically feasible, their simulation is generally hard because of a variety of reasons. For instance, many quantitative data (e.g., kinetic rates) are usually not available, a problem that hinders the execution of simulation algorithms as long as some parameter estimation methods are used. Though, even with a candidate parameterization, the simulation of mechanistic models could be challenging due to the extr…
Matlab/Simulink-Based Modeling for Industrial Electric Vehicle
2023
The land transport sector has passed through multiple phases of evolution in design, development, and manufacturing of vehicles. In particular, the construction site continues to progress towards the autonomous vehicles (also called self-driving), which were one of its big trends and have become a hot topic in the industrial and academic world. By now, with this new technology of autonomous driving, we can ensure safety by reducing the number of road accidents, also the environmental impact and energy consumption is lessened. The modeling and simulation phases had become a mandatory step to design, characterize and simulate vehicle dynamics while reducing the cost of development. As they pr…
A Research Review on Building Information Modeling in Construction―An Area Ripe for IS Research
2012
Published version of article of an article in the journal: Communications of the Association for Information Systems. Also available from the publisher : http://http://aisel.aisnet.org/cais/vol31/iss1/10/ This article presents a review of the research on Building Information Modeling (BIM) in construction, with the aim of identifying areas in this domain where IS research can contribute. The concept of BIM comprises an infrastructure of IT tools supporting collaborative and integrated design, assembly, and operation of buildings. This integrated construction approach, with all stakeholders editing or retrieving information from commonly shared models, requires major changes to well-establis…